# HG changeset patch
# User wenzelm
# Date 935338896 -7200
# Node ID d3968533692ce058fa3b78de9a8c5f5ff315ce72
# Parent  300487ddfba98fc6d8f92025b5b27696ce929355
tuned;
fixed HOL-Real;

diff -r 300487ddfba9 -r d3968533692c Admin/makerpm
--- a/Admin/makerpm	Sat Aug 21 16:59:03 1999 +0200
+++ b/Admin/makerpm	Sun Aug 22 18:21:36 1999 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash -x
+#!/bin/bash
 #
 # $Id$
 #
@@ -67,6 +67,7 @@
 ( PATH=/bin:$PATH; 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
 
 
 # rpm spec
@@ -218,7 +219,7 @@
 cd "$TMP/RPMS/i386"
 cp "isabelle-$RPMVERSION-1.i386.rpm" "$DISTBASE/rpm/isabelle.rpm"
 cp "isabelle-HOL-$RPMVERSION-1.i386.rpm" "$DISTBASE/rpm/isabelle-HOL.i386.rpm"
-cp "isabelle-HOL-$RPMVERSION-1.i386.rpm" "$DISTBASE/rpm/isabelle-HOL-Real.i386.rpm"
+cp "isabelle-HOL-Real-$RPMVERSION-1.i386.rpm" "$DISTBASE/rpm/isabelle-HOL-Real.i386.rpm"
 cp "isabelle-ZF-$RPMVERSION-1.i386.rpm" "$DISTBASE/rpm/isabelle-ZF.i386.rpm"
 
 # clean up