# HG changeset patch # User wenzelm # Date 957969819 -7200 # Node ID 079f607dc3ddd5de00c39aba246d6e6c24396f0d # Parent 0a129bdd77d7a2fd788e7a96d222a796e4ea7cc6 FAKE_BUILD; diff -r 0a129bdd77d7 -r 079f607dc3dd Admin/makerpm --- a/Admin/makerpm Wed May 10 16:43:25 2000 +0200 +++ b/Admin/makerpm Wed May 10 16:43:39 2000 +0200 @@ -8,6 +8,7 @@ ## global settings LOGICS="HOL ZF" +FAKE_BUILD="" DISTBASE=~/tmp/isadist ROOT=/usr/share BIN=/usr/bin @@ -71,15 +72,17 @@ cd "$TMP/BUILD$ROOT/$ISABELLE_NAME" ( env BASH_PATH=/bin/bash PERL_PATH=/usr/bin/perl ./configure ) -./build -bi $LOGICS COMPILER=$(./bin/isatool getenv -b ML_IDENTIFIER) -rm -f heaps/${COMPILER}/Pure heaps/${COMPILER}/FOL heaps/${COMPILER}/TLA -# fake build -#mkdir -p heaps/${COMPILER} -#touch heaps/${COMPILER}/HOL -#touch heaps/${COMPILER}/HOL-Real -#touch heaps/${COMPILER}/ZF +if [ -n "$FAKE_BUILD" ]; then + mkdir -p heaps/${COMPILER} + touch heaps/${COMPILER}/HOL + touch heaps/${COMPILER}/HOL-Real + touch heaps/${COMPILER}/ZF +else + ./build -bi $LOGICS + rm -f heaps/${COMPILER}/Pure heaps/${COMPILER}/FOL heaps/${COMPILER}/TLA +fi # rpm spec