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/'`"