Diff

configure @ 7945:1f4a0e0b7167

configure: Fix setting libdir if prefix changed
author Kim Alvefur <zash@zash.se>
date Fri, 03 Mar 2017 11:51:32 +0100
parent 7943:da791f11e20c
child 7964:1023f2add7fe
line wrap: on
line diff
--- 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" ]