Hi,
Configure script doesn't like my Lua because the binary is
named lua5.2 and it can't find the headers in "$INCLUDE/lua5.2/".
I am not able to build if_lua without patching configure like that.
% hg diff configure.ac
diff -r 0115cadbee18 src/configure.ac
--- a/src/configure.ac Thu May 17 17:15:09 2018 +0200
+++ b/src/configure.ac Thu May 17 22:54:48 2018 +0200
@@ -566,11 +566,27 @@ if test "$enable_luainterp" = "yes" -o "
[vi_cv_with_luajit="no"])
AC_MSG_RESULT($vi_cv_with_luajit)
+ AC_MSG_CHECKING(--with-lua-command)
+ AC_ARG_WITH(lua_command,
+ [ --with-lua-command=BIN Lua binary to use.],
+ [vi_cv_with_lua_command="$withval";
AC_MSG_RESULT($vi_cv_with_lua_command)],
+ [AC_MSG_RESULT(no)])
+
+ if test "X$vi_cv_with_lua_command" != "X"; then
+ vi_cv_lua_program="$vi_cv_with_lua_command"
+ else
+ if test "X$vi_cv_with_luajit" != "Xno"; then
+ vi_cv_lua_program="luajit"
+ else
+ vi_cv_lua_program="lua"
+ fi
+ fi
+
LUA_INC=
if test "X$vi_cv_path_lua_pfx" != "X"; then
if test "x$vi_cv_with_luajit" != "xno"; then
dnl -- try to find LuaJIT executable
- AC_PATH_PROG(vi_cv_path_luajit, luajit)
+ AC_PATH_PROG(vi_cv_path_luajit, "$vi_cv_lua_program")
if test "X$vi_cv_path_luajit" != "X"; then
dnl -- find LuaJIT version
AC_CACHE_CHECK(LuaJIT version, vi_cv_version_luajit,
@@ -582,7 +598,7 @@ if test "$enable_luainterp" = "yes" -o "
fi
else
dnl -- try to find Lua executable
- AC_PATH_PROG(vi_cv_path_plain_lua, lua)
+ AC_PATH_PROG(vi_cv_path_plain_lua, "$vi_cv_lua_program")
if test "X$vi_cv_path_plain_lua" != "X"; then
dnl -- find Lua version
AC_CACHE_CHECK(Lua version, vi_cv_version_plain_lua,
Regards.
Damien
--
--
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php
---
You received this message because you are subscribed to the Google Groups
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
