Admin/makebin
changeset 10087 4dc7edfb0b5f
parent 10082 7c2021b7c664
child 10090 36d1218b58f4
equal deleted inserted replaced
10086:5245fa2ca8d3 10087:4dc7edfb0b5f
     5 # makebin -- make Isabelle logic images for current platform.
     5 # makebin -- make Isabelle logic images for current platform.
     6 
     6 
     7 
     7 
     8 ## global settings
     8 ## global settings
     9 
     9 
    10 FAKE_BUILD=""
    10 FAKE_BUILD="true"
    11 DISTBASE=~/tmp/isadist
    11 DISTBASE=~/tmp/isadist
    12 TMP="/tmp/isabelle-makebin$$"
    12 TMP="/tmp/isabelle-makebin$$"
    13 
    13 
    14 TAR=tar
    14 TAR=tar
    15 type -path gtar >/dev/null && TAR=gtar
    15 type -path gtar >/dev/null && TAR=gtar
    57 # build logics
    57 # build logics
    58 
    58 
    59 mkdir "$TMP" || fail "Cannot create directory $TMP"
    59 mkdir "$TMP" || fail "Cannot create directory $TMP"
    60 
    60 
    61 cd "$TMP"
    61 cd "$TMP"
    62 tar -xzf "$ARCHIVE_FULL"
    62 "$TAR" xzf "$ARCHIVE_FULL"
    63 cd "$ISABELLE_NAME"
    63 cd "$ISABELLE_NAME"
    64 
    64 
    65 ISABELLE_HOME_USER=$(./bin/isatool getenv -b ISABELLE_HOME_USER)
    65 ISABELLE_HOME_USER=$(./bin/isatool getenv -b ISABELLE_HOME_USER)
    66 [ -f "$ISABELLE_HOME_USER/etc/settings" ] && \
    66 [ -f "$ISABELLE_HOME_USER/etc/settings" ] && \
    67   echo "### WARNING!  Personal Isabelle settings present. " >&2
    67   echo "### WARNING!  Personal Isabelle settings present. " >&2
    90 
    90 
    91 for IMG in HOL HOL-Real ZF
    91 for IMG in HOL HOL-Real ZF
    92 do
    92 do
    93   "$TAR" cf "${IMG}_$PLATFORM.tar" "$ISABELLE_NAME/heaps/$COMPILER/$IMG"
    93   "$TAR" cf "${IMG}_$PLATFORM.tar" "$ISABELLE_NAME/heaps/$COMPILER/$IMG"
    94   gzip "${IMG}_$PLATFORM.tar"
    94   gzip "${IMG}_$PLATFORM.tar"
    95   cp -f "${IMG}_$PLATFORM.tar.gz" "$DISTBASE"
    95   cp -f "${IMG}_$PLATFORM.tar.gz" "$ARCHIVE_DIR"
    96 done
    96 done
    97 
    97 
    98 
    98 
    99 # clean up
    99 # clean up
   100 cd /tmp
   100 cd /tmp