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