equal
deleted
inserted
replaced
75 mkdir -p "heaps/$COMPILER" |
75 mkdir -p "heaps/$COMPILER" |
76 touch "heaps/$COMPILER/HOL" |
76 touch "heaps/$COMPILER/HOL" |
77 touch "heaps/$COMPILER/HOL-Real" |
77 touch "heaps/$COMPILER/HOL-Real" |
78 touch "heaps/$COMPILER/ZF" |
78 touch "heaps/$COMPILER/ZF" |
79 else |
79 else |
80 ./build -b -m Pure-copied Pure |
80 #FIXME for Poly/ML 3.x only ... |
|
81 #./build -b -m Pure-copied Pure |
81 ./build -b -m HOL-Real HOL |
82 ./build -b -m HOL-Real HOL |
82 ./build -b ZF |
83 ./build -b ZF |
83 rm -f "heaps/$COMPILER/Pure" "heaps/$COMPILER/FOL" |
84 rm -f "heaps/$COMPILER/Pure" "heaps/$COMPILER/FOL" |
84 fi |
85 fi |
85 |
86 |