aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--install.bat6
1 files changed, 3 insertions, 3 deletions
diff --git a/install.bat b/install.bat
index 8373f856..43a2b34f 100644
--- a/install.bat
+++ b/install.bat
@@ -401,7 +401,7 @@ local function look_for_lua_install ()
401 then 401 then
402 if get_runtime() then 402 if get_runtime() then
403 print("Runtime check completed, now testing interpreter...") 403 print("Runtime check completed, now testing interpreter...")
404 if exec(S[[$LUA_BINDIR\$LUA_INTERPRETER -v 2>NUL]]) then 404 if exec(S[["$LUA_BINDIR\$LUA_INTERPRETER" -v 2>NUL]]) then
405 print(" Ok") 405 print(" Ok")
406 return true 406 return true
407 end 407 end
@@ -422,7 +422,7 @@ local function look_for_lua_install ()
422 print("Headers found, checking runtime to use...") 422 print("Headers found, checking runtime to use...")
423 if get_runtime() then 423 if get_runtime() then
424 print("Runtime check completed, now testing interpreter...") 424 print("Runtime check completed, now testing interpreter...")
425 if exec(S[[$LUA_BINDIR\$LUA_INTERPRETER -v 2>NUL]]) then 425 if exec(S[["$LUA_BINDIR\$LUA_INTERPRETER" -v 2>NUL]]) then
426 print(" Ok") 426 print(" Ok")
427 return true 427 return true
428 end 428 end
@@ -797,7 +797,7 @@ LuaRocks;
797 PATH : $FULL_PREFIX 797 PATH : $FULL_PREFIX
798 LUA_PATH : $FULL_PREFIX\lua\?.lua;$FULL_PREFIX\lua\?\init.lua 798 LUA_PATH : $FULL_PREFIX\lua\?.lua;$FULL_PREFIX\lua\?\init.lua
799Local user rocktree (Note: %APPDATA% is user dependent); 799Local user rocktree (Note: %APPDATA% is user dependent);
800 PATH : %APPDATA%\LuaRock\bin 800 PATH : %APPDATA%\LuaRocks\bin
801 LUA_PATH : %APPDATA%\LuaRocks\share\lua\$LUA_VERSION\?.lua;%APPDATA%\LuaRocks\share\lua\$LUA_VERSION\?\init.lua 801 LUA_PATH : %APPDATA%\LuaRocks\share\lua\$LUA_VERSION\?.lua;%APPDATA%\LuaRocks\share\lua\$LUA_VERSION\?\init.lua
802 LUA_CPATH: %APPDATA%\LuaRocks\lib\lua\$LUA_VERSION\?.dll 802 LUA_CPATH: %APPDATA%\LuaRocks\lib\lua\$LUA_VERSION\?.dll
803System rocktree 803System rocktree