diff options
| author | David Aspinall | 1998-09-24 16:47:52 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-24 16:47:52 +0000 |
| commit | ea73d49b93877edef9512c98380de50215c73d74 (patch) | |
| tree | 0dac0e861e2e18f0b6b38ffa0aaecbbb8f65c9de | |
| parent | b8a3a35413c67ddbf5851315629cc28e54a7daf1 (diff) | |
For building nice package on Linux.
| -rw-r--r-- | etc/ProofGeneral.patch | 29 | ||||
| -rw-r--r-- | etc/ProofGeneral.spec | 62 |
2 files changed, 91 insertions, 0 deletions
diff --git a/etc/ProofGeneral.patch b/etc/ProofGeneral.patch new file mode 100644 index 00000000..0f7bf186 --- /dev/null +++ b/etc/ProofGeneral.patch @@ -0,0 +1,29 @@ +diff -cr ProofGeneral-2.0/coq/coqtags ProofGeneral-2.0.new/coq/coqtags +*** ProofGeneral-2.0/coq/coqtags Thu Sep 24 16:36:20 1998 +--- ProofGeneral-2.0.new/coq/coqtags Thu Sep 24 17:04:00 1998 +*************** +*** 1,4 **** +! #!/usr/local/bin/perl4 + # + # $Id: coqtags,v 2.1 1998/09/09 14:02:29 da Exp $ + # +--- 1,4 ---- +! #!/usr/bin/perl + # + # $Id: coqtags,v 2.1 1998/09/09 14:02:29 da Exp $ + # +diff -cr ProofGeneral-2.0/lego/legotags ProofGeneral-2.0.new/lego/legotags +*** ProofGeneral-2.0/lego/legotags Thu Sep 24 16:36:30 1998 +--- ProofGeneral-2.0.new/lego/legotags Thu Sep 24 17:04:10 1998 +*************** +*** 1,4 **** +! #!/usr/local/bin/perl + # + # $Id: legotags,v 2.1 1998/09/09 14:02:46 da Exp $ + # +--- 1,4 ---- +! #!/usr/bin/perl + # + # $Id: legotags,v 2.1 1998/09/09 14:02:46 da Exp $ + # + diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec new file mode 100644 index 00000000..881ca3aa --- /dev/null +++ b/etc/ProofGeneral.spec @@ -0,0 +1,62 @@ +Summary: Proof General Theorem Prover +Name: ProofGeneral +Version: 2.0 +Release: 1 +Group: Applications/Editors/Emacs +Copyright: LFCS, University of Edinburgh +Url: http://www.dcs.ed.ac.uk/proofgen/ +Packager: David Aspinall <da@dcs.ed.ac.uk> +Source: http://www.dcs.ed.ac.uk/proofgen/dist/ProofGeneral-%{version}.tar.gz +BuildRoot: /tmp/ProofGeneral-root +Patch: ProofGeneral.patch +BuildArchitectures: noarch + +%description +Proof General is a generic Emacs interface for proof assistants, +suitable for use by pacifists and Emacs lovers alike. +It is supplied ready-customized for LEGO, Coq, and Isabelle. +You can adapt Proof General to other proof assistants if you know a +little bit of Emacs Lisp. + +To use Proof General, add the line + + (load-file "/usr/lib/ProofGeneral/generic/proof-site.el") + +to your .emacs file. + +%changelog +* Thu Sep 24 1998 David Aspinall <da@dcs.ed.ac.uk> + First version. + +%prep +%setup +%patch -p1 + +%build + +%install +mkdir -p ${RPM_BUILD_ROOT}/usr/lib/ProofGeneral +cp -pr coq lego isa images generic ${RPM_BUILD_ROOT}/usr/lib/ProofGeneral + +%files +%attr(-,root,root) %doc BUGS INSTALL doc/* +%attr(0755,root,root) %dir /usr/lib/ProofGeneral +%attr(0755,root,root) %dir /usr/lib/ProofGeneral/coq +%attr(-,root,root) %dir /usr/lib/ProofGeneral/coq/* +%attr(0755,root,root) %dir /usr/lib/ProofGeneral/lego +%attr(-,root,root) %dir /usr/lib/ProofGeneral/lego/* +%attr(0755,root,root) %dir /usr/lib/ProofGeneral/isa +%attr(-,root,root) %dir /usr/lib/ProofGeneral/isa/* +%attr(0755,root,root) %dir /usr/lib/ProofGeneral/images +%attr(-,root,root) %dir /usr/lib/ProofGeneral/images/* +%attr(0755,root,root) %dir /usr/lib/ProofGeneral/generic +%attr(-,root,root) %dir /usr/lib/ProofGeneral/generic/* + + + + + + + + + |