equal
deleted
inserted
replaced
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 |