1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
Summary: Proof General, Emacs interface for Proof Assistants
Name: ProofGeneral
Version: 3.5pre040301
Release: 1
Group: Applications/Editors/Emacs
Copyright: LFCS, University of Edinburgh
Url: http://proofgeneral.inf.ed.ac.uk/
Packager: David Aspinall <David.Aspinall@ed.ac.uk>
Source: http://proofgeneral.inf.ed.ac.uk/ProofGeneral-3.5pre040301.tar.gz
BuildRoot: /tmp/ProofGeneral-root
PreReq: /sbin/install-info
Prefixes: /usr/share/emacs /usr/bin /usr/share/info
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.
You can adapt Proof General to other proof assistants if you know a
little bit of Emacs Lisp.
To use Proof General, use the command `proofgeneral', which launches
XEmacs (or Emacs) for you, or add the line:
(load-file "/usr/share/emacs/site-lisp/ProofGeneral/generic/proof-site.el")
to your .emacs file so Proof General is available whenever
you run Emacs.
%package -n ProofGeneral-emacs-elc
Summary: Compiled ELC files for Proof General/GNU Emacs
Group: Applications/Editors/Emacs
Requires: emacs >= 21.2, ProofGeneral = %{version}-%{release}
%description -n ProofGeneral-emacs-elc
Proof General is a generic Emacs interface for proof assistants.
This package contains the byte compiled elisp files for XEmacs.
If you want to use GNU Emacs with Proof General, this package is
recommended.
%package -n ProofGeneral-xemacs-elc
Summary: Compiled ELC files for Proof General/XEmacs
Group: Applications/Editors/Emacs
Requires: xemacs >= 21.4.12, ProofGeneral = %{version}-%{release}
%description -n ProofGeneral-xemacs-elc
Proof General is a generic Emacs interface for proof assistants.
This package contains the byte compiled elisp files for XEmacs.
If you want to use XEmacs with Proof General, this package is
recommended.
%changelog
* Fri May 4 2001 David Aspinall <David.Aspinall@ed.ac.uk>
- Changelog in CVS now; official spec file developed with source.
%prep
%setup
%build
[ -n "${RPM_BUILD_ROOT}" ] && rm -rf ${RPM_BUILD_ROOT}
%install
mkdir -p ${RPM_BUILD_ROOT}/usr/share/emacs/ProofGeneral
# Clean out any .elc's that were in the tar file, and
# rebuild for the required emacs version.
make distclean
# Build packages for both emacs and xemacs, with only elc's.
make install-elc install-init PREFIX=${RPM_BUILD_ROOT}/usr EMACS=emacs DEST_PREFIX=/usr
make install-elc install-init PREFIX=${RPM_BUILD_ROOT}/usr EMACS=xemacs DEST_PREFIX=/usr
# Finally, install the desktop and .el files into non-Emacs version specific locations
make install-desktop install-el install-bin PREFIX=${RPM_BUILD_ROOT}/usr ELISPP=share/ProofGeneral DEST_PREFIX=/usr
# Install docs too
make install-doc PREFIX=${RPM_BUILD_ROOT}/usr DEST_PREFIX=/usr
rm -f ${RPM_BUILD_ROOT}/usr/share/info/dir
gzip ${RPM_BUILD_ROOT}/usr/share/info/*
# Rename READMEs in subdirs to avoid clashes
for f in */README; do mv $f $f.`dirname $f`; done
%clean
if [ "X" != "${RPM_BUILD_ROOT}X" ]; then
rm -rf $RPM_BUILD_ROOT
fi
%post
/sbin/install-info /usr/share/info/ProofGeneral.info.* /usr/share/info/dir
/sbin/install-info /usr/share/info/PG-adapting.info.* /usr/share/info/dir
%preun
/sbin/install-info --delete /usr/share/info/ProofGeneral.info.* /usr/share/info/dir
/sbin/install-info --delete /usr/share/info/PG-adapting.info.* /usr/share/info/dir
%files
%defattr(-,root,root)
# FIXME: warning: source file `doc/README.doc' specified more than once
%doc AUTHORS BUGS CHANGES COPYING INSTALL README.* REGISTER doc/* */README.*
%{_bindir}/*
# no man page yet
# %{_mandir}/man1/*
%{_datadir}/pixmaps/proofgeneral.png
%{_datadir}/icons/hicolor/*/proofgeneral.png
%{_datadir}/mime-info/proofgeneral.*
%{_datadir}/ProofGeneral/*
%{_datadir}/man/man1/*
%{_datadir}/info/*.info.gz
%{_datadir}/applications/proofgeneral.desktop
%files -n ProofGeneral-emacs-elc
%defattr(-,root,root)
%{_datadir}/emacs/*/ProofGeneral/*
%{_datadir}/emacs/*/*/pg-init.el
%files -n ProofGeneral-xemacs-elc
%defattr(-,root,root)
%{_datadir}/xemacs/*/*/ProofGeneral/*
%{_datadir}/xemacs/*/*/*/pg-init.el
|