* Makefile.am:
[monodevelop.git] / extras / JavaBinding / configure
blob26615590ca126e3192a34f7fcef0b1f5ca8f6519
1 #!/bin/bash
2 VERSION=1.9.2
3 PACKAGE=monodevelop-java
4 prefix=/usr/local
5 config=DEBUG
6 configurations=" RELEASE DEBUG"
7 required_packages="mono-addins;0.3 gtk-sharp-2.0;2.8.3 glade-sharp-2.0;2.8.3 monodevelop;1.9.2"
9 usage ()
11 echo "Usage : configure [--prefix=PREFIX] [--config=CONFIG]"
12 echo
13 echo "Configurations available :"
14 for c in $configurations; do
15 if [ "$c" = "$config" ]; then
16 echo " $c (Default)"
17 else
18 echo " $c"
20 done
23 validate_config ()
25 test -z "$1" && return 0
26 for c in $configurations; do
27 if [ "$c" = "$1" ]; then
28 return 1
30 done
31 return 0
34 check_required_packages ()
36 echo "Looking for required packages" | tee config.log
37 for pkg in $required_packages; do
38 name=`echo $pkg | cut -d\; -f1`
39 version=`echo $pkg | cut -d\; -f2`
41 echo -n "Checking for package '$name'.." | tee -a config.log
42 pkg-config --atleast-version=$version $name
43 if [ $? -ne 0 ]; then
44 echo " ERROR: Package named '$name' >= $version not found." | tee -a config.log
45 echo "Try adjusting your PKG_CONFIG_PATH environment variable." | tee -a config.log
46 return 1
48 echo " found." | tee -a config.log
49 done
50 return 0
53 while test x$1 != x; do
54 case $1 in
55 --prefix=*)
56 prefix=`echo $1 | sed 's/--prefix=//'`
58 --prefix)
59 shift
60 prefix=$1
62 --config=*)
63 conf=`echo $1 | sed 's/--config=//'`
64 validate_config "$conf"
65 if [ $? -eq 1 ]; then
66 config=$conf
67 else
68 echo "Invalid config name - $conf"
69 usage
70 exit 1
73 --help)
74 usage
75 exit
78 echo Unknown argument $1 >&2
79 usage
80 exit 1
82 esac
83 shift
84 done
86 check_required_packages
87 [ $? -eq 1 ] && exit 1
89 echo "prefix=$prefix" > config.make
90 echo "RUNTIME=mono" >> config.make
91 echo "ASSEMBLY_VERSION=$VERSION.0.0" >> config.make
92 echo "VERSION=$VERSION" >> config.make
93 echo "PACKAGE=$PACKAGE" >> config.make
94 echo "CONFIG=$config" >> config.make
96 echo
97 echo "$PACKAGE has been configured with "
98 echo " prefix = $prefix"
99 echo " config = $config"
100 echo