diff options
Diffstat (limited to 'cmake/Util.cmake')
| -rw-r--r-- | cmake/Util.cmake | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/cmake/Util.cmake b/cmake/Util.cmake index e15b44d29a..b70f33a302 100644 --- a/cmake/Util.cmake +++ b/cmake/Util.cmake @@ -193,3 +193,14 @@ function(set_default_buildtype) endif() endif() endfunction() + +# Check if a module is available in Lua +function(check_lua_module LUA_PRG_PATH MODULE RESULT_VAR) + execute_process(COMMAND ${LUA_PRG_PATH} -l "${MODULE}" -e "" + RESULT_VARIABLE module_missing) + if(module_missing) + set(${RESULT_VAR} FALSE PARENT_SCOPE) + else() + set(${RESULT_VAR} TRUE PARENT_SCOPE) + endif() +endfunction() |