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

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGonzalo Paniagua Javier <gonzalo.mono@gmail.com>2002-11-06 04:58:53 +0300
committerGonzalo Paniagua Javier <gonzalo.mono@gmail.com>2002-11-06 04:58:53 +0300
commitbd1ca2e8c7d0810f58ee9f6de9ace4ed81813687 (patch)
treeb104df85dbf92c5c2542ce917c91831c167a0511 /autogen.sh
parent15f43a1b88d55b0eda7a4ee52d0c81ebb7923dcd (diff)
2002-11-06 Gonzalo Paniagua Javier <gonzalo@ximian.com>
* autogen.sh: make it work when MONO_PATH is set and it has more than one directory or ends in ":". Also check that the directory added to ACLOCAL_FLAGS and PATH exist (aclocal fails if they don't). svn path=/trunk/mono/; revision=8846
Diffstat (limited to 'autogen.sh')
-rwxr-xr-xautogen.sh16
1 files changed, 14 insertions, 2 deletions
diff --git a/autogen.sh b/autogen.sh
index 6f5d86a5691..8d89d7f7b82 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -8,8 +8,20 @@ srcdir=`dirname $0`
test -z "$srcdir" && srcdir=.
if [ -n "$MONO_PATH" ]; then
- ACLOCAL_FLAGS="-I $MONO_PATH/share/aclocal $ACLOCAL_FLAGS"
- PATH="$MONO_PATH/bin:$PATH"
+ # from -> /mono/lib:/another/mono/lib
+ # to -> /mono /another/mono
+ for i in `echo ${MONO_PATH} | tr ":" " "`; do
+ i=`dirname ${i}`
+ echo "i es $i"
+ if [ -n "{i}" -a -d "${i}/share/aclocal" ]; then
+ echo "aņado $i/share/local"
+ ACLOCAL_FLAGS="-I ${i}/share/aclocal $ACLOCAL_FLAGS"
+ fi
+ if [ -n "{i}" -a -d "${i}/bin" ]; then
+ echo "aņado $i/bin"
+ PATH="${i}/bin:$PATH"
+ fi
+ done
export PATH
fi