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" ] |