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:
authorMarius Ungureanu <marius.ungureanu@xamarin.com>2015-09-19 18:56:20 +0300
committerMarius Ungureanu <marius.ungureanu@xamarin.com>2015-09-19 19:33:31 +0300
commit459960c19b5d056a0c5430b9da8d92c5a5562236 (patch)
tree4bb6219651d8bd3fcdadeb838987e0bfac26235d /configure
parent8aca159e622fe92d91bbe45fdccd02608c22817d (diff)
[Build] Add release switch to configure.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure12
1 files changed, 11 insertions, 1 deletions
diff --git a/configure b/configure
index 4fc31b2a89..70e55b2904 100755
--- a/configure
+++ b/configure
@@ -2,6 +2,7 @@
VERSION=2.1.0
profile=default
tests=no
+release=no
prefix=NONE
test -e "$CONFIG_SITE" && . "$CONFIG_SITE"
test "$prefix" = NONE && prefix=/usr/local
@@ -10,7 +11,7 @@ usage ()
{
profiles=`ls profiles | sed -e "s/$/,/g" | fmt | sed -e 's/,$//' -e "s/ChangeLog, //"`
echo ""
- echo "Usage : configure [--prefix=PREFIX] [--select] [--profile=PROFILE]"
+ echo "Usage : configure [--prefix=PREFIX] [--select] [--profile=PROFILE] [--release-builds]"
echo ""
echo "This script allows selecting and configuring a set of MonoDevelop"
echo "modules to be included in an integrated build."
@@ -49,6 +50,9 @@ usage ()
echo "--enable-tests"
echo " Build the md test suite"
echo ""
+ echo "--enable-release"
+ echo " Builds md in release mode"
+ echo ""
echo "--profile=PROFILE"
echo ""
echo " Configure the build system using the provided profile."
@@ -167,6 +171,9 @@ configure_packages ()
prefixarg=""
fi
done
+ if test xyes == x$release; then
+ ops="$ops --enable-release"
+ fi
title="Configuring package: $path"
nc=`echo $title | wc -m`
@@ -225,6 +232,9 @@ while test x$1 != x; do
--enable-tests)
tests=yes
;;
+ --enable-release)
+ release=yes
+ ;;
--prefix=*)
prefix=`echo $1 | sed 's/--prefix=//'`
;;