6
configurations=" RELEASE DEBUG"
12
echo "Usage : configure [OPTION]... [--config=CONFIG]"
15
echo " --prefix=PREFIX install architecture-independent files in PREFIX"
17
echo " --bindir=DIR user executables [PREFIX/bin]"
18
echo " --datadir=DIR read-only architecture-independent data [PREFIX/share]"
19
echo " --libdir=DIR object code libraries [PREFIX/lib]"
21
echo "Configurations available :"
22
for c in $configurations; do
23
if [ "$c" = "$config" ]; then
33
test -z "$1" && return 0
34
for c in $configurations; do
35
if [ "$c" = "$1" ]; then
44
name=`echo $1 | cut -d\; -f1`
45
version=`echo $1 | cut -d\; -f2`
47
echo -n "Checking for package '$name'.." | tee -a config.log
48
pkg-config --atleast-version=$version $name
50
echo " ERROR: Package named '$name' >= $version not found." | tee -a config.log
51
echo "Try adjusting your PKG_CONFIG_PATH environment variable." | tee -a config.log
54
echo " found." | tee -a config.log
57
check_required_packages ()
59
echo "Looking for required packages" | tee config.log
60
var=required_packages_$config
61
for pkg in $common_packages ${!var}; do
64
[ $retval -ne 0 ] && return $retval
69
while test x$1 != x; do
72
prefix=`echo $1 | sed 's/--prefix=//'`
79
libdir=`echo $1 | sed 's/--libdir=//'`
86
bindir=`echo $1 | sed 's/--bindir=//'`
93
datadir=`echo $1 | sed 's/--datadir=//'`
100
conf=`echo $1 | sed 's/--config=//'`
101
validate_config "$conf"
102
if [ $? -eq 1 ]; then
105
echo "Invalid config name - $conf"
115
echo Unknown argument $1 >&2
123
check_required_packages
124
[ $? -eq 1 ] && exit 1
126
if [ -z "$libdir" ]; then
129
if [ -z "$bindir" ]; then
132
if [ -z "$datadir" ]; then
133
datadir=$prefix/share
136
echo "prefix=$prefix" > config.make
137
echo "libdir=$libdir" >> config.make
138
echo "bindir=$bindir" >> config.make
139
echo "datadir=$datadir" >> config.make
140
echo "RUNTIME=mono" >> config.make
141
echo "ASSEMBLY_VERSION=$VERSION.0.0" >> config.make
142
echo "VERSION=$VERSION" >> config.make
143
echo "PACKAGE=$PACKAGE" >> config.make
144
echo "CONFIG=$config" >> config.make
147
echo "$PACKAGE has been configured with "
148
echo " prefix = $prefix"
149
if [ "$libdir" != "$prefix/lib" ]; then
150
echo " libdir = $libdir"
152
if [ "$bindir" != "$prefix/bin" ]; then
153
echo " bindir = $bindir"
155
if [ "$datadir" != "$prefix/share" ]; then
156
echo " datadir = $datadir"
158
echo " config = $config"