3 # Does various checks for people that we can use to diagnose
4 # an end user installation
6 set `echo $PATH | sed 's/:/ /g'`
8 while test x$1 != x; do
9 if test -x $1/mono; then
10 if test x$monocmd = x; then
13 other_monos="$1/mono $other_monos"
19 echo Active Mono: $monocmd
21 if test "x$other_monos" != x; then
22 echo "Other Mono executables: $other_monos"
27 # Check that the pkg-config mono points to this mono
29 if pkg-config --modversion mono >& /dev/null; then
30 pkg_config_mono=`(cd \`pkg-config --variable prefix mono\`/bin; pwd)`/mono
31 if test $pkg_config_mono != $monocmd; then
32 echo "Error: pkg-config Mono installation points to a different install"
33 echo " than the Mono found:"
34 echo " Mono on PATH: $monocmd"
35 echo " Mono from pkg-config: $pkg_config_mono"
39 echo "Warning: pkg-config could not find mono installed on this system"