diff options
author | Karl Berry <karl@freefriends.org> | 2006-12-14 02:12:38 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-12-14 02:12:38 +0000 |
commit | 382d7b1ff670aac6d1a0e2c9dadc3fa77fcf60aa (patch) | |
tree | 61a27803b86df560ef984a8d88d72156998820d7 /Build | |
parent | 182e67d241ec6850017808d7aefa6616dd9f985f (diff) |
allow invoking from anywhere, and more overrides.
git-svn-id: svn://tug.org/texlive/trunk@2729 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rwxr-xr-x | Build/source/Build | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/Build/source/Build b/Build/source/Build index 8ae59a8d698..f16e5923068 100755 --- a/Build/source/Build +++ b/Build/source/Build @@ -4,6 +4,10 @@ # To build (mostly) without optimization, try CFLAGS=-g Build. # Any options given are passed along to configure. +# cd to our source directory. +mydir=`dirname $0` +cd $mydir || exit 1 + if test "x$1" != "x--no-clean"; then test -f Makefile && make clean rm -rf Work inst @@ -28,9 +32,15 @@ cd Work || exit 1 # allow override of xdvi toolkit. : ${TL_XDVI_TOOLKIT=--with-xdvi-x-toolkit=xaw} +# allow adding other configure args. +: ${TL_CONFIGURE_ARGS=} + # allow override of make program. : ${TL_MAKE=make} +# allow override of make target. +: ${TL_TARGET=world} + # and then set GNUMAKE to that, for the sake of freetype2/configure. : ${GNUMAKE=${TL_MAKE}} export GNUMAKE @@ -42,5 +52,6 @@ export GNUMAKE --prefix=$TL_INSTALL_DEST \ --datadir=$TL_INSTALL_DEST \ $TL_XDVI_TOOLKIT \ + $TL_CONFIGURE_ARGS \ "$@" \ - && time $TL_MAKE world) + && time $TL_MAKE $TL_TARGET) |