1.1 --- a/Admin/makebin	Fri Apr 03 10:09:06 2009 +0200
     1.2 +++ b/Admin/makebin	Fri Apr 03 12:08:09 2009 +0200
     1.3 @@ -1,17 +1,12 @@
     1.4  #!/usr/bin/env bash
     1.5  #
     1.6 -# $Id$
     1.7 -#
     1.8 -# makebin -- make Isabelle logic images for current platform.
     1.9 +# makebin -- make Isabelle logic images for current platform
    1.10  
    1.11  
    1.12  ## global settings
    1.13  
    1.14  TMP="/var/tmp/isabelle-makebin$$"
    1.15  
    1.16 -TAR=tar
    1.17 -type -path gtar >/dev/null && TAR=gtar
    1.18 -
    1.19  export THIS_IS_ISABELLE_MAKEBIN=true
    1.20  
    1.21  
    1.22 @@ -75,11 +70,11 @@
    1.23  ## main
    1.24  
    1.25  [ ! -f "$ARCHIVE" ] && fail "Bad archive file $ARCHIVE"
    1.26 -ARCHIVE_BASE=$(basename "$ARCHIVE")
    1.27 -ARCHIVE_DIR=$(cd $(dirname "$ARCHIVE"); echo "$PWD")
    1.28 +ARCHIVE_BASE="$(basename "$ARCHIVE")"
    1.29 +ARCHIVE_DIR="$(cd $(dirname "$ARCHIVE"); echo "$PWD")"
    1.30  ARCHIVE_FULL="$ARCHIVE_DIR/$ARCHIVE_BASE"
    1.31  
    1.32 -ISABELLE_NAME=$(basename "$ARCHIVE_BASE" .tar.gz)
    1.33 +ISABELLE_NAME="$(basename "$ARCHIVE_BASE" .tar.gz)"
    1.34  ISABELLE_HOME="$TMP/$ISABELLE_NAME"
    1.35  
    1.36  
    1.37 @@ -88,16 +83,16 @@
    1.38  mkdir "$TMP" || fail "Cannot create directory $TMP"
    1.39  
    1.40  cd "$TMP"
    1.41 -"$TAR" xzf "$ARCHIVE_FULL"
    1.42 +tar xzf "$ARCHIVE_FULL"
    1.43  cd "$ISABELLE_NAME"
    1.44  
    1.45  perl -pi \
    1.46 -  -e 's:^ISABELLE_USEDIR_OPTIONS=.*$:ISABELLE_USEDIR_OPTIONS="-p 1":;' \
    1.47 -  -e 's:^HOL_USEDIR_OPTIONS=.*$:HOL_USEDIR_OPTIONS="-p 2":;' \
    1.48 +  -e 's:^ISABELLE_USEDIR_OPTIONS=.*$:ISABELLE_USEDIR_OPTIONS="-M 1 -p 1":;' \
    1.49 +  -e 's:^HOL_USEDIR_OPTIONS=.*$:HOL_USEDIR_OPTIONS="-M 1 -p 2":;' \
    1.50    etc/settings
    1.51  
    1.52  if [ -n "$DO_LIBRARY" ]; then
    1.53 -  perl -pi -e 's:^ISABELLE_USEDIR_OPTIONS=.*$:ISABELLE_USEDIR_OPTIONS="-p 1 -i true -d pdf -V outline=/proof,/ML":;' \
    1.54 +  perl -pi -e 's:^ISABELLE_USEDIR_OPTIONS=.*$:ISABELLE_USEDIR_OPTIONS="-M 1 -p 1 -i true -d pdf -V outline=/proof,/ML":;' \
    1.55      etc/settings
    1.56  fi
    1.57  
    1.58 @@ -134,13 +129,13 @@
    1.59  chgrp -R isabelle "$TMP"
    1.60  
    1.61  if [ -n "$DO_LIBRARY" ]; then
    1.62 -  "$TAR" cf "${ISABELLE_NAME}_library.tar" $ISABELLE_NAME/browser_info && \
    1.63 +  tar cf "${ISABELLE_NAME}_library.tar" $ISABELLE_NAME/browser_info && \
    1.64      gzip -f "${ISABELLE_NAME}_library.tar"
    1.65      cp -f "${ISABELLE_NAME}_library.tar.gz" "$ARCHIVE_DIR"
    1.66  else
    1.67    for IMG in HOL HOL-Nominal ZF
    1.68    do
    1.69 -    "$TAR" cf "${IMG}_$PLATFORM.tar" \
    1.70 +    tar cf "${IMG}_$PLATFORM.tar" \
    1.71        "$ISABELLE_NAME/heaps/$COMPILER/$IMG" \
    1.72        "$ISABELLE_NAME/heaps/$COMPILER/log/$IMG.gz"
    1.73      gzip -f "${IMG}_$PLATFORM.tar"