2019-03-10 16:48:18 +01:00
|
|
|
--- ./configure.orig 2019-03-10 15:10:39.226464224 +0100
|
|
|
|
+++ ./configure 2019-03-10 15:13:22.879796367 +0100
|
|
|
|
@@ -377,37 +377,6 @@
|
2017-01-18 01:45:10 +01:00
|
|
|
}
|
2019-03-10 16:48:18 +01:00
|
|
|
done
|
2017-01-18 01:45:10 +01:00
|
|
|
|
|
|
|
-if [ "$lua_interp_found" != "yes" ]
|
|
|
|
-then
|
2019-03-10 16:48:18 +01:00
|
|
|
- if [ "$LUA_VERSION_SET" ]
|
|
|
|
- then
|
|
|
|
- interp="Lua $LUA_VERSION"
|
|
|
|
- else
|
|
|
|
- interp="Lua"
|
|
|
|
- fi
|
|
|
|
- if [ "$LUA_DIR_SET" ] || [ "$LUA_BINDIR_SET" ]
|
|
|
|
- then
|
|
|
|
- where="$LUA_BINDIR"
|
|
|
|
- else
|
|
|
|
- where="\$PATH"
|
|
|
|
- fi
|
|
|
|
- echo "$(RED $interp interpreter not found) in $where"
|
|
|
|
- echo "You may want to use the flags $(BOLD --with-lua), $(BOLD --with-lua-bin) and/or $(BOLD --lua-version)"
|
|
|
|
- die "Run $(BOLD ./configure --help) for details."
|
2017-01-18 01:45:10 +01:00
|
|
|
-fi
|
|
|
|
-
|
|
|
|
-if [ "$LUA_VERSION_SET" = "yes" ]
|
|
|
|
-then
|
2019-03-10 16:48:18 +01:00
|
|
|
- echo_n "Checking if $LUA_BINDIR/$LUA_INTERPRETER is Lua version $LUA_VERSION... "
|
|
|
|
- if detect_lua_version "$LUA_BINDIR/$LUA_INTERPRETER"
|
2017-01-18 01:45:10 +01:00
|
|
|
- then
|
|
|
|
- echo "yes"
|
|
|
|
- else
|
|
|
|
- echo "no"
|
2019-03-10 16:48:18 +01:00
|
|
|
- die "You may want to use the flags --with-lua, --with-lua-bin and/or --lua-version. See --help."
|
2017-01-18 01:45:10 +01:00
|
|
|
- fi
|
|
|
|
-fi
|
|
|
|
-
|
2019-03-10 16:48:18 +01:00
|
|
|
# ----------------------------------------
|
|
|
|
# Additional checks
|
|
|
|
# ----------------------------------------
|