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:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure5
1 files changed, 4 insertions, 1 deletions
diff --git a/configure b/configure
index ddd367c54b..4f2acf8048 100755
--- a/configure
+++ b/configure
@@ -262,6 +262,10 @@ if [ -d "$prefix" ]; then
export PKG_CONFIG_PATH=$prefix/lib/pkgconfig:$prefix/share/pkgconfig:$PKG_CONFIG_PATH
fi
+if test `uname` = "Darwin"; then
+ profile="mac"
+fi
+
validate_profile "$profile"
if [ ! $? -eq 1 ]; then
echo "The build profile '$profile' does not exist. A new profile will be created."
@@ -271,7 +275,6 @@ if [ x$select == xyes -o ! -a profiles/$profile ]; then
fi
if test `uname` = "Darwin"; then
- profile="mac"
# if building on bots or in default environment, fix up paths to use system Mono
if test "x$BUILD_REVISION" != "x" -o "x$DYLD_FALLBACK_LIBRARY_PATH" = "x"; then
export DYLD_FALLBACK_LIBRARY_PATH="/Library/Frameworks/Mono.framework/Versions/Current/lib:/lib:/usr/lib"