File: configure

package info (click to toggle)
mono-basic 2.10-2
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 22,964 kB
  • sloc: cs: 34,086; xml: 7,804; makefile: 471; sh: 317
file content (41 lines) | stat: -rwxr-xr-x 1,486 bytes parent folder | download
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"