Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMiguel de Icaza <miguel@gnome.org>2007-09-21 06:59:34 +0400
committerMiguel de Icaza <miguel@gnome.org>2007-09-21 06:59:34 +0400
commit0317ca5be795fd714c0f1ae5585b605d20f4aa49 (patch)
tree1ce0aeb59769aae01696a9e4ecdb513c04316777 /scripts/mono-test-install
parentdd0076433074161ba5f83500a1c558522309d9a2 (diff)
install
svn path=/trunk/mono/; revision=86125
Diffstat (limited to 'scripts/mono-test-install')
-rwxr-xr-xscripts/mono-test-install41
1 files changed, 41 insertions, 0 deletions
diff --git a/scripts/mono-test-install b/scripts/mono-test-install
new file mode 100755
index 00000000000..442e54ebe19
--- /dev/null
+++ b/scripts/mono-test-install
@@ -0,0 +1,41 @@
+#!/bin/sh
+#
+# Does various checks for people that we can use to diagnose
+# an end user installation
+#
+set `echo $PATH | sed 's/:/ /g'`
+
+while test x$1 != x; do
+ if test -x $1/mono; then
+ if test x$monocmd = x; then
+ monocmd=$1/mono
+ else
+ other_monos="$1/mono $other_monos"
+ fi
+ fi
+ shift
+done
+
+echo Active Mono: $monocmd
+
+if test "x$other_monos" != x; then
+ echo "Other Mono executables: $other_monos"
+fi
+
+
+#
+# Check that the pkg-config mono points to this mono
+#
+if pkg-config --modversion mono >& /dev/null; then
+ pkg_config_mono=`(cd \`pkg-config --variable prefix mono\`/bin; pwd)`/mono
+ if test $pkg_config_mono != $monocmd; then
+ echo "Error: pkg-config Mono installation points to a different install"
+ echo " than the Mono found:"
+ echo " Mono on PATH: $monocmd"
+ echo " Mono from pkg-config: $pkg_config_mono"
+ exit 1
+ fi
+else
+ echo "Warning: pkg-config could not find mono installed on this system"
+fi
+