Admin/makebin
changeset 11576 c418146c4763
parent 10307 0df0bbd7e324
child 12427 37cfec8dfe8e
equal deleted inserted replaced
11575:b4c7cb040644 11576:c418146c4763
    62 
    62 
    63 cd "$TMP"
    63 cd "$TMP"
    64 "$TAR" xzf "$ARCHIVE_FULL"
    64 "$TAR" xzf "$ARCHIVE_FULL"
    65 cd "$ISABELLE_NAME"
    65 cd "$ISABELLE_NAME"
    66 
    66 
       
    67 #activate default for precompiled distribution ...
       
    68 perl -pi -e 's/#ISABELLE_USEDIR_OPTIONS/ISABELLE_USEDIR_OPTIONS/' etc/settings
       
    69 
    67 ISABELLE_HOME_USER=$(./bin/isatool getenv -b ISABELLE_HOME_USER)
    70 ISABELLE_HOME_USER=$(./bin/isatool getenv -b ISABELLE_HOME_USER)
    68 [ -f "$ISABELLE_HOME_USER/etc/settings" ] && \
    71 [ -f "$ISABELLE_HOME_USER/etc/settings" ] && \
    69   echo "### WARNING!  Personal Isabelle settings present. " >&2
    72   echo "### WARNING!  Personal Isabelle settings present. " >&2
    70 
    73 
    71 COMPILER=$(./bin/isatool getenv -b ML_IDENTIFIER)
    74 COMPILER=$(./bin/isatool getenv -b ML_IDENTIFIER)
    75   mkdir -p "heaps/$COMPILER"
    78   mkdir -p "heaps/$COMPILER"
    76   touch "heaps/$COMPILER/HOL"
    79   touch "heaps/$COMPILER/HOL"
    77   touch "heaps/$COMPILER/HOL-Real"
    80   touch "heaps/$COMPILER/HOL-Real"
    78   touch "heaps/$COMPILER/ZF"
    81   touch "heaps/$COMPILER/ZF"
    79 else
    82 else
    80   #FIXME for Poly/ML 3.x only ...
       
    81   #./build -b -m Pure-copied Pure
       
    82   ./build -b -m HOL-Real HOL
    83   ./build -b -m HOL-Real HOL
    83   ./build -b ZF
    84   ./build -b ZF
    84   rm -f "heaps/$COMPILER/Pure" "heaps/$COMPILER/FOL"
    85   rm -f "heaps/$COMPILER/Pure" "heaps/$COMPILER/FOL"
    85 fi
    86 fi
    86 
    87