diff options
author | Miguel de Icaza <miguel@gnome.org> | 2007-09-21 06:59:34 +0400 |
---|---|---|
committer | Miguel de Icaza <miguel@gnome.org> | 2007-09-21 06:59:34 +0400 |
commit | 0317ca5be795fd714c0f1ae5585b605d20f4aa49 (patch) | |
tree | 1ce0aeb59769aae01696a9e4ecdb513c04316777 /scripts/mono-test-install | |
parent | dd0076433074161ba5f83500a1c558522309d9a2 (diff) |
install
svn path=/trunk/mono/; revision=86125
Diffstat (limited to 'scripts/mono-test-install')
-rwxr-xr-x | scripts/mono-test-install | 41 |
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 + |