mirror of
https://github.com/danog/danog.github.io.git
synced 2024-11-26 20:04:55 +01:00
53 lines
1.4 KiB
Plaintext
53 lines
1.4 KiB
Plaintext
|
dnl $Id: config.m4 321796 2012-01-05 17:23:48Z laruence $
|
||
|
PHP_ARG_WITH(lua, for lua support,
|
||
|
[ --with-lua=[DIR] Include php lua support])
|
||
|
|
||
|
if test "$PHP_LUA" != "no"; then
|
||
|
if test -r $PHP_LUA/include/lua.h; then
|
||
|
LUA_DIR=$PHP_LUA
|
||
|
else
|
||
|
AC_MSG_CHECKING(for lua in default path)
|
||
|
for i in /usr/local /usr/include/lua/5.2.1 /tmp/phplua/lua-5.2.1/src; do
|
||
|
if test -r $i/lua.h; then
|
||
|
LUA_DIR=$i
|
||
|
AC_MSG_RESULT(found in $i)
|
||
|
break
|
||
|
fi
|
||
|
done
|
||
|
fi
|
||
|
|
||
|
LUA_DIR=/usr/local/include
|
||
|
|
||
|
if test -z "$LUA_DIR"; then
|
||
|
AC_MSG_RESULT(not found)
|
||
|
AC_MSG_ERROR(Please reinstall the lua distribution - lua.h should be in <lua-dir>/include/)
|
||
|
fi
|
||
|
|
||
|
LUA_LIB_NAME=liblua.a
|
||
|
|
||
|
if test -r $PHP_LUA/$PHP_LIBDIR/${LUA_LIB_NAME}; then
|
||
|
LUA_LIB_DIR=$PHP_LUA/$PHP_LIBDIR
|
||
|
else
|
||
|
AC_MSG_CHECKING(for lua library in default path)
|
||
|
for i in /usr/lib /usr/lib64; do
|
||
|
if test -r $i/${LUA_LIB_NAME}; then
|
||
|
LUA_LIB_DIR=$i
|
||
|
AC_MSG_RESULT(found in $i)
|
||
|
break
|
||
|
fi
|
||
|
done
|
||
|
fi
|
||
|
|
||
|
LUA_LIB_DIR=/usr/local/lib
|
||
|
|
||
|
if test -z "$LUA_LIB_DIR"; then
|
||
|
AC_MSG_RESULT(not found)
|
||
|
AC_MSG_ERROR(Please reinstall the lua distribution - lua library should be in <lua-dir>/lib/)
|
||
|
fi
|
||
|
|
||
|
PHP_ADD_INCLUDE($LUA_DIR/include)
|
||
|
PHP_ADD_LIBRARY_WITH_PATH(lua, $LUA_LIB_DIR, LUA_SHARED_LIBADD)
|
||
|
PHP_SUBST(LUA_SHARED_LIBADD)
|
||
|
PHP_NEW_EXTENSION(lua, lua.c lua_closure.c, $ext_shared)
|
||
|
fi
|