From 5092954b4f884d3cf1d18dc7e777015bfede3337 Mon Sep 17 00:00:00 2001 From: Hisham Muhammad Date: Mon, 30 Aug 2010 15:39:09 -0300 Subject: Be nice to Debian/Ubuntu users and their non-standard directories... --- configure | 13 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) (limited to 'configure') diff --git a/configure b/configure index 8fef5213..2be69a68 100755 --- a/configure +++ b/configure @@ -279,9 +279,16 @@ if [ -f "$lua_h" ] then echo "lua.h found in $lua_h" else - echo "lua.h not found (looked in $lua_h)" - echo "You may want to use the flag --with-lua-include. See --help." - exit 1 + LUA_INCDIR="$LUA_INCDIR/lua5.1" + d_lua_h="$LUA_INCDIR/lua.h" + if [ -f "$d_lua_h" ] + then + echo "lua.h found in $d_lua_h (Debian/Ubuntu)" + else + echo "lua.h not found (looked in $lua_h)" + echo "You may want to use the flag --with-lua-include. See --help." + exit 1 + fi fi if [ "$LUAROCKS_DOWNLOADER_SET" != "yes" ] -- cgit v1.2.3-55-g6feb