Be nice to Debian/Ubuntu users and their non-standard directories...

1 files changed, 10 insertions, 3 deletions

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" ]