Fix F# binding build issue

Don't specify the prefix path when configuring the F# binding since
the binding assumes that MD is installed in that prefix, but that's
not correct when building MD itself.

1 files changed, 6 insertions, 1 deletions

diff --git a/configure b/configure
index e48c16c989..8db98f5583 100755
--- a/configure
+++ b/configure
@@ -155,12 +155,17 @@ configure_packages ()
 			enable_tests=" "
 		fi
 
+		prefixarg="--prefix=$prefix"
 		builddir=`pwd`/$path/build
+
 		for p in $ops ; do
 			arg=`echo $p | cut -d '=' -f 1`
 			if [ $arg == "--addins-dir" ] ; then
 				builddir=`pwd`/$path/`echo $p | cut -d '=' -f 2`
 			fi
+			if [ $p == "--no-prefix" ] ; then
+				prefixarg=""
+			fi
 		done
 
 		title="Configuring package: $path"
@@ -180,7 +185,7 @@ configure_packages ()
 			exit 1
 		fi
 		pushd $path > /dev/null
-		PKG_CONFIG_PATH=$localconf:$PKG_CONFIG_PATH $sct --prefix=$prefix $ops || handle_config_error
+		PKG_CONFIG_PATH=$localconf:$PKG_CONFIG_PATH $sct $prefixarg $ops || handle_config_error
 		popd > /dev/null
 		create_local_config $path $builddir
 		packages="$packages $path"