configure
changeset 6583 74946f050209
parent 6579 b7796a46aec2
parent 6582 5a82ee60e07e
child 6637 3e226e387a67
--- a/configure	Sun Feb 22 18:44:48 2015 +0100
+++ b/configure	Tue Feb 24 15:22:09 2015 +0000
@@ -138,6 +138,7 @@
       ;;
    --libdir=*)
       LIBDIR="$value"
+      LIBDIR_SET=yes
       ;;
    --datadir=*)
    	DATADIR="$value"
@@ -212,6 +213,11 @@
    fi
 fi
 
+if [ "$PREFIX_SET" = "yes" -a ! "$LIBDIR_SET" = "yes" ]
+then
+   LIBDIR=$PREFIX/lib
+fi
+
 find_program() {
    path="$PATH"
    item="`echo "$path" | sed 's/\([^:]*\):.*/\1/'`"