commit de086fe526442eecefee313e6d6144ea7dfcb7cb
Author: Jerry James <loganjerry at gmail.com>
Date: Thu Dec 13 20:17:18 2012 -0700
Use minimal TeXLive BRs.
coq.spec | 36 ++++++++++++++++++++++++++++--------
1 files changed, 28 insertions(+), 8 deletions(-)
---
diff --git a/coq.spec b/coq.spec
index 1fa9912..6ed731b 100644
--- a/coq.spec
+++ b/coq.spec
@@ -24,7 +24,7 @@
Name: coq
Version: 8.4
-Release: 2%{?dist}
+Release: 3%{?dist}
Summary: Proof management system
Group: Applications/Engineering
@@ -36,17 +36,35 @@ Source2: README.coq-emacs
Source4: coq.xml
# Not yet sent upstream: support more GDK key modifiers
Patch0: %{name}-gdk.patch
-# Not yet sent upstream: adapt to TeXLive 2012
-Patch1: %{name}-texlive.patch
-BuildRequires: ocaml, ocaml-camlp5-devel, ocaml-lablgtk-devel
-BuildRequires: desktop-file-utils, emacs-nox, emacs-proofgeneral
+BuildRequires: ocaml
+BuildRequires: ocaml-camlp5-devel
+BuildRequires: ocaml-lablgtk-devel
+BuildRequires: desktop-file-utils
+BuildRequires: emacs-nox
+BuildRequires: emacs-proofgeneral
+
# For documentation
-BuildRequires: texlive-collection-latexextra, texlive-collection-mathextra
-BuildRequires: tex(latex), tex(epic.sty)
%if %{build_html}
BuildRequires: hevea
%endif
+BuildRequires: tex(latex)
+BuildRequires: tex(comment.sty)
+BuildRequires: tex(epic.sty)
+BuildRequires: tex(fullpage.sty)
+BuildRequires: tex(moreverb.sty)
+BuildRequires: tex(multirow.sty)
+BuildRequires: tex(stmaryrd.sty)
+BuildRequires: tex(utf8x.def)
+BuildRequires: tex-cm-super
+BuildRequires: tex-courier
+BuildRequires: tex-ec
+BuildRequires: tex-helvetic
+BuildRequires: tex-symbol
+BuildRequires: tex-times
+BuildRequires: tex-zapfchan
+BuildRequires: tex-zapfding
+
Requires(posttrans): tex(tex)
Requires(postun): tex(tex)
@@ -128,7 +146,6 @@ This package is not needed to use the Emacs interface.
%prep
%setup -q
%patch0
-%patch1
# Fix some files that are not in UTF-8 encoding
@@ -310,6 +327,9 @@ mktexlsr &> /dev/null
%{_emacs_sitelispdir}/coq/*.el
%changelog
+* Thu Dec 13 2012 Jerry James <loganjerry at gmail.com> - 8.4-3
+- Use minimal TeXLive BRs
+
* Wed Oct 17 2012 Jerry James <loganjerry at gmail.com> - 8.4-2
- Rebuild for OCaml 4.00.1
- Support more GDK key modifiers in the IDE (hyper, meta, release, super)