| 1234567891011121314151617181920212223242526272829303132333435363738394041 |
- #!/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
|