Welcome to mirror list, hosted at ThFree Co, Russian Federation.

configure « JavaBinding « extras - github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
blob: a44a71473c2feaa738afa7de9a21590956c9b2dd (plain)
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
#!/bin/bash
VERSION=1.0
PACKAGE=monodevelop-java
prefix=/usr/local
config=DEBUG
configurations=" RELEASE DEBUG"
required_packages="mono-addins;0.3 gtk-sharp-2.0;2.8.3 glade-sharp-2.0;2.8.3 monodevelop;1.0"

usage ()
{
	echo "Usage : configure [--prefix=PREFIX] [--config=CONFIG]"
	echo
	echo "Configurations available :"
	for c in $configurations; do
		if [ "$c" = "$config" ]; then
			echo "        $c (Default)"
		else
			echo "        $c"
		fi
	done
}

validate_config ()
{
	test -z "$1" && return 0
	for c in $configurations; do
		if [ "$c" = "$1" ]; then
			return 1
		fi
	done
	return 0
}

check_required_packages ()
{
	echo "Looking for required packages" | tee config.log
	for pkg in $required_packages; do
		name=`echo $pkg | cut -d\; -f1`
		version=`echo $pkg | cut -d\; -f2`

		echo -n "Checking for package '$name'.." | tee -a config.log
		pkg-config --atleast-version=$version $name
		if [ $? -ne 0 ]; then
			echo " ERROR: Package named '$name' >= $version not found." | tee -a config.log
			echo "Try adjusting your PKG_CONFIG_PATH environment variable." | tee -a config.log
			return 1
		fi
		echo " found." | tee -a config.log
	done
	return 0
}

while test x$1 != x; do
        case $1 in
                --prefix=*)
                        prefix=`echo $1 | sed 's/--prefix=//'`
                        ;;
		--prefix)
			shift
			prefix=$1
			;;
		--config=*)
                        conf=`echo $1 | sed 's/--config=//'`
			validate_config "$conf"
			if [ $? -eq 1 ]; then
				config=$conf
			else
				echo "Invalid config name - $conf"
				usage
				exit 1
			fi
                        ;;
		--help)
			usage
			exit
			;;
                *)
                        echo Unknown argument $1 >&2
			usage
			exit 1
			;;
        esac
        shift
done

check_required_packages
[ $? -eq 1 ] && exit 1

echo "prefix=$prefix" > config.make
echo "RUNTIME=mono" >> config.make
echo "ASSEMBLY_VERSION=$VERSION.0.0" >> config.make
echo "VERSION=$VERSION" >> config.make
echo "PACKAGE=$PACKAGE" >> config.make
echo "CONFIG=$config" >> config.make

echo
echo "$PACKAGE has been configured with "
echo "        prefix = $prefix"
echo "        config = $config"
echo