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:
authorAlan McGovern <alan@xamarin.com>2015-03-04 15:58:50 +0300
committerAlan McGovern <alan@xamarin.com>2015-03-04 15:58:50 +0300
commit96bb9c7b1910b3a1feb248e56ed5227268f0df2c (patch)
tree6b886043e462c67414ea60ff4ab7c8eb74c90ba7 /configure
parent7b62636321d4c9ef9020f26e1098207223dbe796 (diff)
[build] Add a dependency checker to configure
Enforce the correct xammac
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure9
1 files changed, 9 insertions, 0 deletions
diff --git a/configure b/configure
index 42d2ae1231..04a83e43d8 100755
--- a/configure
+++ b/configure
@@ -6,6 +6,13 @@ prefix=NONE
test -e "$CONFIG_SITE" && . "$CONFIG_SITE"
test "$prefix" = NONE && prefix=/usr/local
+bail ()
+{
+ echo "$2"
+ echo "Run 'configure --help' for usage."
+ exit "$1"
+}
+
usage ()
{
profiles=`ls profiles | sed -e "s/$/,/g" | fmt | sed -e 's/,$//' -e "s/ChangeLog, //"`
@@ -256,6 +263,8 @@ while test x$1 != x; do
shift
done
+ruby dependency_checker.rb || bail 7 "A dependency is not fulfilled"
+
# make the build & run use libraries already installed in $PREFIX
if [ -d "$prefix" ]; then
export MONO_GAC_PREFIX=$prefix:$MONO_GAC_PREFIX