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>2007-12-20 07:49:14 +0300
committerMichael Hutchinson <mhutchinson@novell.com>2007-12-20 07:49:14 +0300
commit23b1e04728244c610c2472ae5d61684506449275 (patch)
tree3a4c50b89c5c3504581eb9d47a72fa9cd17f034a /configure
parent83215866576f24d5cde7f4ce18c6bd7cbc8639f3 (diff)
2007-12-20 Michael Hutchinson <mhutchinson@novell.com>
* configure: Add a more verbose help message explaining the new build layout. * profiles/mac: Remove unneeded options. svn path=/trunk/monodevelop/; revision=91676
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure15
1 files changed, 14 insertions, 1 deletions
diff --git a/configure b/configure
index 09a210e1e7..fccd182f26 100755
--- a/configure
+++ b/configure
@@ -6,7 +6,20 @@ profile=stable
usage ()
{
echo "Usage : configure [--prefix=PREFIX] [--profile=PROFILE]"
- echo
+ echo ""
+ echo "The MonoDevelop build system consists of 'main', which contains the "
+ echo "main distribution, and a number of additional addins in subdirectories "
+ echo "of 'extras'. The 'extras' addins are designed to be built and "
+ echo "distributed separately, and therefore build against your system- "
+ echo "installed MonoDevelop by default. However, this script sets them up to "
+ echo "build against the MonoDevelop in 'main', and ensures that they will be "
+ echo "loaded when MonoDevelop is launched with 'make run' in this top-level"
+ echo "directory. This is very useful for development and testing."
+ echo ""
+ echo "A 'profile' is a list of 'extras' directories and arguments for their "
+ echo "configure scripts, and arguments for the 'main' configure script. To "
+ echo "add a profile, simply create a file in the 'profiles' directory."
+ echo ""
echo "Profiles available :"
ls -1 profiles
}