texlive/texlive-Build_script.patch

39 lines
1.0 KiB
Diff

---
build/source/Build | 22 ++++++++++++++++++----
1 file changed, 18 insertions(+), 4 deletions(-)
Index: texlive-bin-2007/build/source/Build
===================================================================
--- texlive-bin-2007.orig/build/source/Build 2006-12-14 03:12:38.000000000 +0100
+++ texlive-bin-2007/build/source/Build 2007-02-14 15:56:00.000000000 +0100
@@ -47,11 +47,25 @@
# 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 $TL_CONFIGURE \
+case $1 in
+ configure)
+ shift
+ (set -x; \
+ $TL_CONFIGURE \
--prefix=$TL_INSTALL_DEST \
--datadir=$TL_INSTALL_DEST \
$TL_XDVI_TOOLKIT \
$TL_CONFIGURE_ARGS \
- "$@" \
- && time $TL_MAKE $TL_TARGET)
+ "$@" )
+ ;;
+ build)
+ # not make world, this would strip
+ shift
+ make all
+ make install
+ ;;
+ *)
+ echo "This script must be invoked with argument configure or build"
+ ;;
+esac
+