# 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