# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1488538292 -3600
# Node ID 1f4a0e0b71677bcd229a269167d26b6f280c0dc4
# Parent  da791f11e20cc1d3d6a394dad8c55961728e04df
configure: Fix setting libdir if prefix changed

diff -r da791f11e20c -r 1f4a0e0b7167 configure
--- 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" ]