1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41
|
#!/bin/sh
VERSION=2.10
prefix=/usr/local
configured_profiles=
while test x$1 != x; do
case $1 in
--prefix=*)
prefix=`echo $1 | sed 's/--prefix=//'`
;;
--prefix)
echo --prefix needs an argument: --prefix=directory >&2
;;
--with-monotouch=yes)
configured_profiles="monotouch $configured_profiles"
;;
--with-monodroid=yes)
configured_profiles="monodroid $configured_profiles"
;;
--with-moonlight=yes)
configured_profiles="moonlight $configured_profiles"
;;
*)
echo Unknown argument $1 >&2
esac
shift
done
echo "prefix=$prefix" > build/config.make
echo "exec_prefix=\${prefix}" >> build/config.make
echo "mono_libdir=\${exec_prefix}/lib" >> build/config.make
echo "man_dir=\${exec_prefix}/share/man" >> build/config.make
echo "man1_dir=\${man_dir}/man1" >> build/config.make
echo "MCS_FLAGS=-debug+" >> build/config.make
echo "RUNTIME=mono" >> build/config.make
echo "MONO_BASIC_VERSION=$VERSION" >> build/config.make
echo "VERSION :=$VERSION" >> build/config.make
echo "CONFIGURED_PROFILES :=$configured_profiles" >> build/config.make
echo "mono-basic $VERSION module configure to use prefix=$prefix"
|