diff options
| author | Hisham Muhammad <hisham@NewMachine.localdomain> | 2010-08-30 15:39:09 -0300 |
|---|---|---|
| committer | Hisham Muhammad <hisham@NewMachine.localdomain> | 2010-08-30 15:39:09 -0300 |
| commit | 5092954b4f884d3cf1d18dc7e777015bfede3337 (patch) | |
| tree | 39727c40c834a88562ba8a7613744057af31aa6a /configure | |
| parent | 31740064c5ce8f939556f98c42453dfad8ee0272 (diff) | |
| download | luarocks-5092954b4f884d3cf1d18dc7e777015bfede3337.tar.gz luarocks-5092954b4f884d3cf1d18dc7e777015bfede3337.tar.bz2 luarocks-5092954b4f884d3cf1d18dc7e777015bfede3337.zip | |
Be nice to Debian/Ubuntu users and their non-standard directories...
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 13 |
1 files changed, 10 insertions, 3 deletions
| @@ -279,9 +279,16 @@ if [ -f "$lua_h" ] | |||
| 279 | then | 279 | then |
| 280 | echo "lua.h found in $lua_h" | 280 | echo "lua.h found in $lua_h" |
| 281 | else | 281 | else |
| 282 | echo "lua.h not found (looked in $lua_h)" | 282 | LUA_INCDIR="$LUA_INCDIR/lua5.1" |
| 283 | echo "You may want to use the flag --with-lua-include. See --help." | 283 | d_lua_h="$LUA_INCDIR/lua.h" |
| 284 | exit 1 | 284 | if [ -f "$d_lua_h" ] |
| 285 | then | ||
| 286 | echo "lua.h found in $d_lua_h (Debian/Ubuntu)" | ||
| 287 | else | ||
| 288 | echo "lua.h not found (looked in $lua_h)" | ||
| 289 | echo "You may want to use the flag --with-lua-include. See --help." | ||
| 290 | exit 1 | ||
| 291 | fi | ||
| 285 | fi | 292 | fi |
| 286 | 293 | ||
| 287 | if [ "$LUAROCKS_DOWNLOADER_SET" != "yes" ] | 294 | if [ "$LUAROCKS_DOWNLOADER_SET" != "yes" ] |