summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2006-11-01 00:36:09 +0000
committerKarl Berry <karl@freefriends.org>2006-11-01 00:36:09 +0000
commit81a8235dc0f20527113c0503d4339a1cba017f5d (patch)
tree5a8fa7c186d9f61de1f7991178a9610c4c6efd59 /Build
parentbec2b24672afe0c8d6b08e58426d94f1313d4983 (diff)
allow override of configure and install
destinations via envvars, what the heck. git-svn-id: svn://tug.org/texlive/trunk@2375 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rwxr-xr-xBuild/source/Build20
1 files changed, 15 insertions, 5 deletions
diff --git a/Build/source/Build b/Build/source/Build
index 9f73dd74133..d6ffa1abd74 100755
--- a/Build/source/Build
+++ b/Build/source/Build
@@ -11,8 +11,12 @@ else
shift
fi
-H=`pwd`
-test -d inst || mkdir -p inst/texmf # avoid configure warnings
+# allow override of install destination, just in case.
+if test -z "$TL_INSTALL_DEST"; then
+ H=`pwd`
+ test -d inst || mkdir -p inst/texmf # avoid configure warnings
+ TL_INSTALL_DEST=$H/inst
+fi
unset CDPATH
test -d Work || mkdir Work
@@ -20,9 +24,15 @@ cd Work || exit 1
rm -f tlbuild.log
+# allow override of configure location, just in case.
+: ${TL_CONFIGURE=../configure}
+
# Force building xdvi-xaw; motif is not always free and/or available.
# --enable-gif is for sam2p; the gif patent has expired worldwide.
-(set -x; time ../configure --prefix=$H/inst --datadir=$H/inst \
- --with-xdvi-x-toolkit=xaw --enable-gif \
- "$@" \
+(set -x; \
+ time $TL_CONFIGURE \
+ --prefix=$TL_INSTALL_DEST \
+ --datadir=$TL_INSTALL_DEST \
+ --with-xdvi-x-toolkit=xaw --enable-gif \
+ "$@" \
&& time make world) 2>&1 | tee tlbuild.log