aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to '')
-rwxr-xr-xconfigure7
1 files changed, 7 insertions, 0 deletions
diff --git a/configure b/configure
index 170f4ede..7253dc61 100755
--- a/configure
+++ b/configure
@@ -143,6 +143,9 @@ For specialized uses of LuaRocks:
143 (e.g. when only deploying binary packages) 143 (e.g. when only deploying binary packages)
144 you do not need lua.h installed. This flag 144 you do not need lua.h installed. This flag
145 skips the check for lua.h in "configure". 145 skips the check for lua.h in "configure".
146 --with-system-rocks Use an external installation of rocks required
147 for running luarocks instead instead of the
148 vendored versions.
146 149
147EOF 150EOF
148} 151}
@@ -301,6 +304,9 @@ do
301 --disable-incdir-check) 304 --disable-incdir-check)
302 DISABLE_INCDIR_CHECK=yes 305 DISABLE_INCDIR_CHECK=yes
303 ;; 306 ;;
307 --with-system-rocks)
308 WITH_SYSTEM_ROCKS=yes
309 ;;
304 310
305 # Old options that no longer apply 311 # Old options that no longer apply
306 # -------------------------------- 312 # --------------------------------
@@ -500,6 +506,7 @@ LUA_BINDIR=$LUA_BINDIR
500LUA_INCDIR=$LUA_INCDIR 506LUA_INCDIR=$LUA_INCDIR
501LUA_LIBDIR=$LUA_LIBDIR 507LUA_LIBDIR=$LUA_LIBDIR
502FORCE_CONFIG=$FORCE_CONFIG 508FORCE_CONFIG=$FORCE_CONFIG
509WITH_SYSTEM_ROCKS=$WITH_SYSTEM_ROCKS
503EOF 510EOF
504 511
505echo 512echo