Admin/makebin
changeset 11576 c418146c4763
parent 10307 0df0bbd7e324
child 12427 37cfec8dfe8e
     1.1 --- a/Admin/makebin	Wed Sep 26 23:00:41 2001 +0200
     1.2 +++ b/Admin/makebin	Wed Sep 26 23:01:48 2001 +0200
     1.3 @@ -64,6 +64,9 @@
     1.4  "$TAR" xzf "$ARCHIVE_FULL"
     1.5  cd "$ISABELLE_NAME"
     1.6  
     1.7 +#activate default for precompiled distribution ...
     1.8 +perl -pi -e 's/#ISABELLE_USEDIR_OPTIONS/ISABELLE_USEDIR_OPTIONS/' etc/settings
     1.9 +
    1.10  ISABELLE_HOME_USER=$(./bin/isatool getenv -b ISABELLE_HOME_USER)
    1.11  [ -f "$ISABELLE_HOME_USER/etc/settings" ] && \
    1.12    echo "### WARNING!  Personal Isabelle settings present. " >&2
    1.13 @@ -77,8 +80,6 @@
    1.14    touch "heaps/$COMPILER/HOL-Real"
    1.15    touch "heaps/$COMPILER/ZF"
    1.16  else
    1.17 -  #FIXME for Poly/ML 3.x only ...
    1.18 -  #./build -b -m Pure-copied Pure
    1.19    ./build -b -m HOL-Real HOL
    1.20    ./build -b ZF
    1.21    rm -f "heaps/$COMPILER/Pure" "heaps/$COMPILER/FOL"