rpms/coq/F-8 coq.spec,1.2,1.3 import.log,1.2,1.3
Alan Dunn (amdunn)
fedora-extras-commits at redhat.com
Sun Jul 20 12:39:24 UTC 2008
Author: amdunn
Update of /cvs/pkgs/rpms/coq/F-8
In directory cvs-int.fedora.redhat.com:/tmp/cvs-serv14350/F-8
Modified Files:
coq.spec import.log
Log Message:
What the previous spec file for F-8 should've been.
Index: coq.spec
===================================================================
RCS file: /cvs/pkgs/rpms/coq/F-8/coq.spec,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- coq.spec 17 Jul 2008 17:40:39 -0000 1.2
+++ coq.spec 20 Jul 2008 12:38:38 -0000 1.3
@@ -18,6 +18,7 @@
#
# It appears as though ALL of these are necessary to prevent unwanted
# stripping
+
%define __os_install_post /usr/lib/rpm/brp-compress %{nil}
%define _enable_debug_package 0
%define debug_package %{nil}
@@ -47,12 +48,14 @@
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
-%if 0%{?fedora} <= 8
+
+%if 0%{?fedora} < 9
BuildRequires: tetex, tetex-latex
+# There's no ocaml-camlp5-devel for ppc64 in Fedora <= 8
+ExcludeArch: ppc64
%else
BuildRequires: texlive-latex, texlive-texmf
%endif
-# ExcludeArch: ppc64
%description
Coq is a formal proof management system. It allows for the development
Index: import.log
===================================================================
RCS file: /cvs/pkgs/rpms/coq/F-8/import.log,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- import.log 17 Jul 2008 17:40:39 -0000 1.2
+++ import.log 20 Jul 2008 12:38:38 -0000 1.3
@@ -1,2 +1,3 @@
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
+coq-8_1pl3-2_fc8:F-8:coq-8.1pl3-2.fc8.src.rpm:1216557367
More information about the fedora-extras-commits
mailing list