--- a/Admin/makerpm Mon Sep 25 16:34:29 2000 +0200
+++ b/Admin/makerpm Mon Sep 25 16:50:59 2000 +0200
@@ -66,6 +66,9 @@
tar -xpzf "$ARCHIVE_FULL"
[ -n "$PDF_ARCHIVE_FULL" ] && tar -xpzf "$PDF_ARCHIVE_FULL"
+rm -f Isabelle
+ln -s "$ISABELLE_NAME" Isabelle
+
# build
@@ -235,7 +238,7 @@
cat >>$TMP/SPECS/isabelle.spec <<EOF
%files
-%$ROOT/Isabelle
+$ROOT/Isabelle
%dir $ISABELLE_HOME
%dir $ISABELLE_HOME/doc
%dir $ISABELLE_HOME/heaps
@@ -257,13 +260,12 @@
rpm -bb "$TMP/SPECS/isabelle.spec"
-mkdir -p "$DISTBASE/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"
+mv "isabelle-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/isabelle.rpm"
+mv "isabelle-HOL-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/isabelle-HOL.i386.rpm"
+mv "isabelle-HOL-Real-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/isabelle-HOL-Real.i386.rpm"
+mv "isabelle-ZF-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/isabelle-ZF.i386.rpm"
+mv "isabelle-pdfdocs-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/isabelle-pdfdocs.rpm"
# clean up
cd /
--- a/Admin/proofgeneral/proofgeneral.spec Mon Sep 25 16:34:29 2000 +0200
+++ b/Admin/proofgeneral/proofgeneral.spec Mon Sep 25 16:50:59 2000 +0200
@@ -1,7 +1,7 @@
Summary: Proof General, Emacs interface for Proof Assistants
Name: proofgeneral
-Version: 3.2pre
-Release: 2
+Version: 3.2pre000923
+Release: 1
Group: Applications/Editors/Emacs
Copyright: LFCS, University of Edinburgh
Url: http://www.lfcs.informatics.ed.ac.uk/proofgen
@@ -9,18 +9,14 @@
Prefix: /usr/share
BuildArchitectures: noarch
-
%description
Proof General is a generic Emacs interface for proof assistants,
-suitable for use by pacifists and Emacs militants alike.
-It is supplied ready-customized for LEGO, Coq, and Isabelle.
-
-This distribution of Proof General is intended to be used together
-with Isabelle and Proof General. It relies on Isabelle's automatic
-configuration of contributed packages.
+suitable for use by pacifists and Emacs militants alike. It is
+supplied ready-customized for LEGO, Coq, and Isabelle.
%prep
-find /usr/share/ProofGeneral -type f -print | xargs perl -pi -e 's:^#!.*/perl:#!usr/bin/perl:'
+find /usr/share/ProofGeneral/. -type f -print | xargs perl -pi -e 's:^#!.*/perl:#!usr/bin/perl:'
%files
%attr(-,root,root) /usr/share/ProofGeneral
+%attr(-,root,root) /usr/share/ProofGeneral-3.2pre000923