Admin/proofgeneral/proofgeneral.spec
author paulson
Wed, 25 Oct 2000 17:43:34 +0200
changeset 10325 76f318befccb
parent 10074 c9026e2420a1
permissions -rw-r--r--
Even numbers section of Inductive chapter
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
9929
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     1
Summary:	Proof General, Emacs interface for Proof Assistants
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     2
Name:		proofgeneral
10073
wenzelm
parents: 10027
diff changeset
     3
Version:	3.2pre000923
wenzelm
parents: 10027
diff changeset
     4
Release:	1
9929
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     5
Group:		Applications/Editors/Emacs
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     6
Copyright:	LFCS, University of Edinburgh
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     7
Url:		http://www.lfcs.informatics.ed.ac.uk/proofgen
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     8
Packager:	Markus Wenzel <wenzelm@in.tum.de>
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     9
Prefix:		/usr/share
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    10
BuildArchitectures: noarch
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    11
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    12
%description
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    13
Proof General is a generic Emacs interface for proof assistants,
10074
wenzelm
parents: 10073
diff changeset
    14
suitable for use by pacifists and Emacs militants alike.
wenzelm
parents: 10073
diff changeset
    15
It is supplied ready-customized for LEGO, Coq, and Isabelle.
wenzelm
parents: 10073
diff changeset
    16
wenzelm
parents: 10073
diff changeset
    17
This distribution of Proof General is intended to be used together
wenzelm
parents: 10073
diff changeset
    18
with Isabelle and Proof General.  It relies on Isabelle's automatic
wenzelm
parents: 10073
diff changeset
    19
configuration of contributed packages.
9929
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    20
10027
wenzelm
parents: 9929
diff changeset
    21
%prep
10073
wenzelm
parents: 10027
diff changeset
    22
find /usr/share/ProofGeneral/. -type f -print | xargs perl -pi -e 's:^#!.*/perl:#!usr/bin/perl:'
10027
wenzelm
parents: 9929
diff changeset
    23
9929
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    24
%files
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    25
%attr(-,root,root) /usr/share/ProofGeneral
10073
wenzelm
parents: 10027
diff changeset
    26
%attr(-,root,root) /usr/share/ProofGeneral-3.2pre000923