diff options
Diffstat (limited to '')
| -rwxr-xr-x | configure | 7 |
1 files changed, 7 insertions, 0 deletions
| @@ -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 | ||
| 147 | EOF | 150 | EOF |
| 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 | |||
| 500 | LUA_INCDIR=$LUA_INCDIR | 506 | LUA_INCDIR=$LUA_INCDIR |
| 501 | LUA_LIBDIR=$LUA_LIBDIR | 507 | LUA_LIBDIR=$LUA_LIBDIR |
| 502 | FORCE_CONFIG=$FORCE_CONFIG | 508 | FORCE_CONFIG=$FORCE_CONFIG |
| 509 | WITH_SYSTEM_ROCKS=$WITH_SYSTEM_ROCKS | ||
| 503 | EOF | 510 | EOF |
| 504 | 511 | ||
| 505 | echo | 512 | echo |
