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 ./build -b -m HOL-Real HOL |
81 ./build -b -m HOL-Real HOL |
81 ./build -b ZF |
82 ./build -b ZF |
82 rm -f "heaps/$COMPILER/Pure" "heaps/$COMPILER/FOL" |
83 rm -f "heaps/$COMPILER/Pure" "heaps/$COMPILER/FOL" |
83 fi |
84 fi |
84 |
85 |