Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Hutchinson <mhutchinson@novell.com>2011-02-16 01:58:45 +0300
committerMichael Hutchinson <mhutchinson@novell.com>2011-02-16 01:58:45 +0300
commit782f8b8b432c0e96ef59c687a771582e677e2818 (patch)
treee504fb8fad8fdec7b539cdee7d60452634faa5e3 /configure
parent79705261523f1bfcaafdd8970a7dbe0c7dc2a49d (diff)
Use libs in $prefix for build and run
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure7
1 files changed, 7 insertions, 0 deletions
diff --git a/configure b/configure
index 20d9f2f22f..ff1256f2a8 100755
--- a/configure
+++ b/configure
@@ -220,6 +220,12 @@ while test x$1 != x; do
shift
done
+# make the build & run use libraries already installed in $PREFIX
+if [ -d "$prefix" ]; then
+ export MONO_GAC_PREFIX=$prefix:$MONO_GAC_PREFIX
+ export PKG_CONFIG_PATH=$prefix/lib/pkgconfig:$prefix/share/pkgconfig:$PKG_CONFIG_PATH
+fi
+
validate_profile "$profile"
if [ ! $? -eq 1 ]; then
echo "The build profile '$profile' does not exist. A new profile will be created."
@@ -249,3 +255,4 @@ done
echo >> config.make
echo
+echo -n "prefix=$prefix" >> config.make