equal
deleted
inserted
replaced
6 |
6 |
7 |
7 |
8 ## global settings |
8 ## global settings |
9 |
9 |
10 LOGICS="HOL ZF" |
10 LOGICS="HOL ZF" |
|
11 FAKE_BUILD="" |
11 DISTBASE=~/tmp/isadist |
12 DISTBASE=~/tmp/isadist |
12 ROOT=/usr/share |
13 ROOT=/usr/share |
13 BIN=/usr/bin |
14 BIN=/usr/bin |
14 RPMRELEASE=2 |
15 RPMRELEASE=2 |
15 |
16 |
69 |
70 |
70 # build |
71 # build |
71 |
72 |
72 cd "$TMP/BUILD$ROOT/$ISABELLE_NAME" |
73 cd "$TMP/BUILD$ROOT/$ISABELLE_NAME" |
73 ( env BASH_PATH=/bin/bash PERL_PATH=/usr/bin/perl ./configure ) |
74 ( env BASH_PATH=/bin/bash PERL_PATH=/usr/bin/perl ./configure ) |
74 ./build -bi $LOGICS |
|
75 COMPILER=$(./bin/isatool getenv -b ML_IDENTIFIER) |
75 COMPILER=$(./bin/isatool getenv -b ML_IDENTIFIER) |
76 rm -f heaps/${COMPILER}/Pure heaps/${COMPILER}/FOL heaps/${COMPILER}/TLA |
76 |
77 |
77 if [ -n "$FAKE_BUILD" ]; then |
78 # fake build |
78 mkdir -p heaps/${COMPILER} |
79 #mkdir -p heaps/${COMPILER} |
79 touch heaps/${COMPILER}/HOL |
80 #touch heaps/${COMPILER}/HOL |
80 touch heaps/${COMPILER}/HOL-Real |
81 #touch heaps/${COMPILER}/HOL-Real |
81 touch heaps/${COMPILER}/ZF |
82 #touch heaps/${COMPILER}/ZF |
82 else |
|
83 ./build -bi $LOGICS |
|
84 rm -f heaps/${COMPILER}/Pure heaps/${COMPILER}/FOL heaps/${COMPILER}/TLA |
|
85 fi |
83 |
86 |
84 |
87 |
85 # rpm spec |
88 # rpm spec |
86 |
89 |
87 RPMVERSION=$(echo "$ISABELLE_NAME" | perl -w \ |
90 RPMVERSION=$(echo "$ISABELLE_NAME" | perl -w \ |