| changeset 41556 | f55d564e0521 |
| parent 40779 | 24851517ef15 |
| child 44877 | a4761fc03ee7 |
| 41555:178fdd4cca46 | 41556:f55d564e0521 |
|---|---|
98 PLATFORM=$(./bin/isabelle getenv -b ML_PLATFORM) |
98 PLATFORM=$(./bin/isabelle getenv -b ML_PLATFORM) |
99 |
99 |
100 if [ -n "$DO_LIBRARY" ]; then |
100 if [ -n "$DO_LIBRARY" ]; then |
101 ./build -bait |
101 ./build -bait |
102 else |
102 else |
103 ./build -b -m HOL-Nominal HOL |
103 ./build -b HOL |
104 ./build -b -m HOLCF HOL |
|
105 ./build -b ZF |
|
106 fi |
104 fi |
107 |
105 |
108 |
106 |
109 # prepare result |
107 # prepare result |
110 |
108 |