rpms/coq/F-8 coq.spec,1.1,1.2 import.log,1.1,1.2
Alan Dunn (amdunn)
fedora-extras-commits at redhat.com
Thu Jul 17 17:41:22 UTC 2008
- Previous message (by thread): rpms/libkexiv2/EL-5 .cvsignore, 1.3, 1.4 libkexiv2.spec, 1.2, 1.3 sources, 1.3, 1.4
- Next message (by thread): rpms/kernel/F-9 linux-2.6-net-tulip-interrupt.patch, NONE, 1.1 kernel.spec, 1.712, 1.713
- Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Author: amdunn
Update of /cvs/pkgs/rpms/coq/F-8
In directory cvs-int.fedora.redhat.com:/tmp/cvs-serv23950/F-8
Modified Files:
coq.spec import.log
Log Message:
Spec file upgrade to allow build in F-8.
Index: coq.spec
===================================================================
RCS file: /cvs/pkgs/rpms/coq/F-8/coq.spec,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- coq.spec 16 Jul 2008 19:05:11 -0000 1.1
+++ coq.spec 17 Jul 2008 17:40:39 -0000 1.2
@@ -24,7 +24,7 @@
Name: coq
Version: 8.1pl3
-Release: 1%{?dist}
+Release: 2%{?dist}
Summary: Coq proof management system
Group: Applications/Engineering
@@ -46,7 +46,12 @@
Patch2: makefile-strip.patch
Patch3: check.patch
BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
-BuildRequires: ocaml >= 3.08, ocaml-camlp5-devel, gtk2-devel, ocaml-lablgtk-devel, desktop-file-utils, emacs, texlive-latex, texlive-texmf
+BuildRequires: ocaml >= 3.08, ocaml-camlp5-devel, gtk2-devel, ocaml-lablgtk-devel, desktop-file-utils, emacs
+%if 0%{?fedora} <= 8
+BuildRequires: tetex, tetex-latex
+%else
+BuildRequires: texlive-latex, texlive-texmf
+%endif
# ExcludeArch: ppc64
%description
@@ -284,5 +289,7 @@
%doc README.coq-emacs
%changelog
+* Thu Jul 17 2008 Alan Dunn <amdunn at gmail.com> 8.1pl3-2
+- Added check for Fedora distribution number to allow for Fedora 8 release.
* Wed Jun 14 2008 Alan Dunn <amdunn at gmail.com> 8.1pl3-1
- Initial Fedora RPM version.
Index: import.log
===================================================================
RCS file: /cvs/pkgs/rpms/coq/F-8/import.log,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- import.log 16 Jul 2008 19:05:11 -0000 1.1
+++ import.log 17 Jul 2008 17:40:39 -0000 1.2
@@ -1 +1,2 @@
coq-8_1pl3-1_fc9:F-8:coq-8.1pl3-1.fc9.src.rpm:1216235027
+coq-8_1pl3-2_fc9:F-8:coq-8.1pl3-2.fc9.src.rpm:1216316352
- Previous message (by thread): rpms/libkexiv2/EL-5 .cvsignore, 1.3, 1.4 libkexiv2.spec, 1.2, 1.3 sources, 1.3, 1.4
- Next message (by thread): rpms/kernel/F-9 linux-2.6-net-tulip-interrupt.patch, NONE, 1.1 kernel.spec, 1.712, 1.713
- Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the fedora-extras-commits
mailing list