File texlive-Build_script.patch of Package texlive

Overview Repositories Revisions Requests Users Attributes Meta

File texlive-Build_script.patch of Package texlive

---
 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
+

Places

File texlive-Build_script.patch of Package texlive

Places