changeset 7948 | 1f4a0e0b7167 |
parent 7946 | da791f11e20c |
child 7967 | 1023f2add7fe |
--- a/configure Thu Mar 02 23:01:12 2017 +0100 +++ b/configure Fri Mar 03 11:51:32 2017 +0100 @@ -338,6 +338,11 @@ fi fi +if [ "$PREFIX_SET" = "yes" -a ! "$LIBDIR_SET" = "yes" ] +then + LIBDIR=$PREFIX/lib +fi + detect_lua_version() { detected_lua=`$1 -e 'print(_VERSION:match(" (5%.[123])$"))' 2> /dev/null` if [ "$detected_lua" != "nil" ]