diff options
author | Michael Hutchinson <mhutchinson@novell.com> | 2011-02-16 01:58:45 +0300 |
---|---|---|
committer | Michael Hutchinson <mhutchinson@novell.com> | 2011-02-16 01:58:45 +0300 |
commit | 782f8b8b432c0e96ef59c687a771582e677e2818 (patch) | |
tree | e504fb8fad8fdec7b539cdee7d60452634faa5e3 /configure | |
parent | 79705261523f1bfcaafdd8970a7dbe0c7dc2a49d (diff) |
Use libs in $prefix for build and run
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -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 |