1 files changed, 10 insertions, 3 deletions

diff --git a/configure b/configure
index f00f7bc7..f40a2df8 100755
--- a/configure
+++ b/configure
@@ -333,10 +333,17 @@ else
    d_lua_h="$LUA_INCDIR/lua.h"
    if [ -f "$d_lua_h" ]
    then
-      echo "lua.h found in $d_lua_h (Debian/Ubuntu)"
+      echo "lua.h found in $d_lua_h"
    else
-      echo "lua.h not found (looked in $lua_h)"
-      die "You may want to use the flag --with-lua-include. See --help."
+      LUA_INCDIR="$LUA_INCDIR/lua$LUA_VERSION"
+      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)"
+         die "You may want to use the flag --with-lua-include. See --help."
+      fi
    fi
 fi