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