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
|
#!/bin/sh
VERSION=2.6.2
prefix=/usr/local
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
;;
*)
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 "mono-basic $VERSION module configure to use prefix=$prefix"
|
