# HG changeset patch
# User wenzelm
# Date 944084315 -3600
# Node ID 91587887bcbfcb190086f16a8fd3b9f4851ea804
# Parent  816f566c414f552bac2d5c78133650669844d037
accommodate current version of rpm;

diff -r 816f566c414f -r 91587887bcbf Admin/makerpm
--- a/Admin/makerpm	Wed Dec 01 18:22:28 1999 +0100
+++ b/Admin/makerpm	Wed Dec 01 22:38:35 1999 +0100
@@ -11,7 +11,7 @@
 DISTBASE=~/tmp/isadist
 ROOT=/usr/share
 BIN=/usr/bin
-RPMRELEASE=0
+RPMRELEASE=1
 
 
 ## diagnostics
@@ -75,6 +75,12 @@
 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
+
 
 # rpm spec
 
@@ -241,16 +247,15 @@
 
 chown -R root:root "$TMP" || chgrp -R isabelle "$TMP"
 
-echo "topdir: $TMP" >"$TMP/rpmrc"
-rpm --rcfile "$TMP/rpmrc" -bb "$TMP/SPECS/isabelle.spec"
+rpm -bb "$TMP/SPECS/isabelle.spec"
 
 mkdir -p "$DISTBASE/rpm"
-cd "$TMP/RPMS/i386"
-cp "isabelle-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/rpm/isabelle.rpm"
-cp "isabelle-HOL-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/rpm/isabelle-HOL.i386.rpm"
-cp "isabelle-HOL-Real-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/rpm/isabelle-HOL-Real.i386.rpm"
-cp "isabelle-ZF-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/rpm/isabelle-ZF.i386.rpm"
-cp "isabelle-pdfdocs-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/rpm/isabelle-pdfdocs.rpm"
+cd /usr/src/packages/RPMS/i386
+mv "isabelle-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/rpm/isabelle.rpm"
+mv "isabelle-HOL-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/rpm/isabelle-HOL.i386.rpm"
+mv "isabelle-HOL-Real-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/rpm/isabelle-HOL-Real.i386.rpm"
+mv "isabelle-ZF-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/rpm/isabelle-ZF.i386.rpm"
+mv "isabelle-pdfdocs-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/rpm/isabelle-pdfdocs.rpm"
 
 # clean up
 cd /