Changeset

7945:1f4a0e0b7167

configure: Fix setting libdir if prefix changed
author Kim Alvefur <zash@zash.se>
date Fri, 03 Mar 2017 11:51:32 +0100
parents 7943:da791f11e20c
children 7946:c92102fe409b 7947:24170d74b00b
files configure
diffstat 1 files changed, 5 insertions(+), 0 deletions(-) [+]
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" ]