# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1492215049 -7200
# Node ID eb38f3b919be73fed6371fefeca712f448462262
# Parent  4d363834f36d157d2dfdd13972b24d2521710952
configure: Skip some interpreter checks if --runwith is set

diff -r 4d363834f36d -r eb38f3b919be configure
--- a/configure	Sat Apr 15 02:06:42 2017 +0200
+++ b/configure	Sat Apr 15 02:10:49 2017 +0200
@@ -425,7 +425,7 @@
 }
 fi
 
-if [ "$lua_interp_found" != "yes" ]
+if [ "$lua_interp_found" != "yes" -a "$RUNWITH_SET" != "yes" ]
 then
    [ "$LUA_VERSION_SET" ] && { interp="Lua $LUA_VERSION" ;} || { interp="Lua" ;}
    [ "$LUA_DIR_SET" -o "$LUA_BINDIR_SET" ] && { where="$LUA_BINDIR" ;} || { where="\$PATH" ;}
@@ -433,7 +433,7 @@
    die "You may want to use the flags --with-lua, --with-lua-bin and/or --lua-suffix. See --help."
 fi
 
-if [ "$LUA_VERSION_SET" = "yes" ]
+if [ "$LUA_VERSION_SET" = "yes" -a "$RUNWITH_SET" != "yes" ]
 then
    echo_n "Checking if $LUA_BINDIR/lua$LUA_SUFFIX is Lua version $LUA_VERSION... "
    if detect_lua_version "$LUA_BINDIR/lua$LUA_SUFFIX"
@@ -481,15 +481,18 @@
    fi
 fi
 
-echo_n "Checking if Lua header version matches that of the interpreter... "
-header_version=$(sed -n 's/.*LUA_VERSION_NUM.*5.\(.\).*/5.\1/p' "$lua_h")
-if [ "$header_version" = "$LUA_VERSION" ]
+if [ "$lua_interp_found" = "yes" ]
 then
-   echo "yes"
-else
-   echo "no"
-   echo "lua.h version mismatch (interpreter: $LUA_VERSION; lua.h: $header_version)."
-   die "You may want to use the flag --with-lua or --with-lua-include. See --help."
+   echo_n "Checking if Lua header version matches that of the interpreter... "
+   header_version=$(sed -n 's/.*LUA_VERSION_NUM.*5.\(.\).*/5.\1/p' "$lua_h")
+   if [ "$header_version" = "$LUA_VERSION" ]
+   then
+      echo "yes"
+   else
+      echo "no"
+      echo "lua.h version mismatch (interpreter: $LUA_VERSION; lua.h: $header_version)."
+      die "You may want to use the flag --with-lua or --with-lua-include. See --help."
+   fi
 fi
 
 echo_n "Configuring for system... "