configure
changeset 6582 5a82ee60e07e
parent 6577 cd0088c73daf
child 6583 74946f050209
--- a/configure	Fri Feb 20 22:53:12 2015 +0000
+++ b/configure	Tue Feb 24 15:19:20 2015 +0000
@@ -139,6 +139,7 @@
       ;;
    --libdir=*)
       LIBDIR="$value"
+      LIBDIR_SET=yes
       ;;
    --datadir=*)
    	DATADIR="$value"
@@ -213,6 +214,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/'`"