+echo "$as_me:7457: checking if you want to have a library-prefix" >&5
+echo $ECHO_N "checking if you want to have a library-prefix... $ECHO_C" >&6
+
+# Check whether --with-lib-prefix or --without-lib-prefix was given.
+if test "${with_lib_prefix+set}" = set; then
+ withval="$with_lib_prefix"
+ with_lib_prefix=$withval
+else
+ with_lib_prefix=auto
+fi;
+echo "$as_me:7467: result: $with_lib_prefix" >&5
+echo "${ECHO_T}$with_lib_prefix" >&6
+
+if test $with_lib_prefix = auto
+then
+