rpms/coq/devel .cvsignore, 1.2, 1.3 cmxa-install.patch, 1.1, 1.2 coq.spec, 1.5, 1.6 sources, 1.2, 1.3
Richard W.M. Jones
rjones at fedoraproject.org
Fri Dec 5 15:50:26 UTC 2008
Author: rjones
Update of /cvs/pkgs/rpms/coq/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv5497
Modified Files:
.cvsignore cmxa-install.patch coq.spec sources
Log Message:
* Fri Dec 5 2008 Richard W.M. Jones <rjones at redhat.com> - 8.1pl4-1
- New upstream version 8.1pl4.
- Attempt to rebuild against OCaml 3.11.0.
- Run make with VERBOSE=1 so we can see the actual commands.
- Pass -camlp5dir to configure so it uses camlp5 (overriding existence
of camlp4 if it happens to be installed).
Index: .cvsignore
===================================================================
RCS file: /cvs/pkgs/rpms/coq/devel/.cvsignore,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- .cvsignore 16 Jul 2008 18:49:27 -0000 1.2
+++ .cvsignore 5 Dec 2008 15:49:55 -0000 1.3
@@ -5,3 +5,4 @@
coq-8.1pl3.tar.gz
coq-refman-html.tar.gz
coq-stdlib-html.tar.gz
+coq-8.1pl4.tar.gz
cmxa-install.patch:
Index: cmxa-install.patch
===================================================================
RCS file: /cvs/pkgs/rpms/coq/devel/cmxa-install.patch,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- cmxa-install.patch 16 Jul 2008 18:49:27 -0000 1.1
+++ cmxa-install.patch 5 Dec 2008 15:49:55 -0000 1.2
@@ -1,8 +1,8 @@
---- Makefile 2007-11-12 10:10:25.000000000 -0500
-+++ Makefile 2008-06-16 10:58:38.000000000 -0400
-@@ -1271,7 +1271,12 @@
- parsing/parsing.cma tactics/tactics.cma toplevel/toplevel.cma \
- parsing/highparsing.cma tactics/hightactics.cma contrib/contrib.cma
+--- coq-8.1pl4/Makefile.orig 2008-12-05 15:16:52.000000000 +0000
++++ coq-8.1pl4/Makefile 2008-12-05 15:17:27.000000000 +0000
+@@ -1274,7 +1274,11 @@
+
+ OBJECTCMI=$(OBJSCMO:.cmo=.cmi)
-OBJECTCMXA=$(OBJECTCMA:.cma=.cmxa)
+ifeq ($(BEST),opt)
@@ -10,7 +10,6 @@
+else
+ OBJECTCMXA=
+endif
-+
install-library:
$(MKDIR) $(FULLCOQLIB)
Index: coq.spec
===================================================================
RCS file: /cvs/pkgs/rpms/coq/devel/coq.spec,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -r1.5 -r1.6
--- coq.spec 22 Oct 2008 19:23:11 -0000 1.5
+++ coq.spec 5 Dec 2008 15:49:55 -0000 1.6
@@ -24,8 +24,8 @@
%define debug_package %{nil}
Name: coq
-Version: 8.1pl3
-Release: 5%{?dist}
+Version: 8.1pl4
+Release: 1%{?dist}
Summary: Coq proof management system
Group: Applications/Engineering
@@ -152,7 +152,7 @@
# variable, but unsure, so no change made
%patch0
-%patch1
+%patch1 -p1
# I created patch3 to consistently strip native-code binaries, unlike
# the inconsistent way it was done in the original makefile
@@ -210,8 +210,8 @@
%define opt_option --byte-only
%endif
-bash configure -prefix %{_prefix} -libdir %{_datadir}/coq -bindir %{_bindir} -mandir %{_mandir} -emacs %{emacs_lispdir} -coqdocdir %{tex_dir} %{opt_option} -reals all
-make world
+bash configure -prefix %{_prefix} -libdir %{_datadir}/coq -bindir %{_bindir} -mandir %{_mandir} -emacs %{emacs_lispdir} -coqdocdir %{tex_dir} %{opt_option} -reals all -camlp5dir %{_libdir}/ocaml/camlp5
+make world VERBOSE=1
# Fix permissions in the documentation
chmod -R a+rX refman stdlib
@@ -325,24 +325,38 @@
%doc refman
%doc stdlib
+
%files emacs
%defattr(-,root,root,-)
%{_datadir}/emacs/site-lisp/coq*
%doc README.coq-emacs
+
%changelog
+* Fri Dec 5 2008 Richard W.M. Jones <rjones at redhat.com> - 8.1pl4-1
+- New upstream version 8.1pl4.
+- Attempt to rebuild against OCaml 3.11.0.
+- Run make with VERBOSE=1 so we can see the actual commands.
+- Pass -camlp5dir to configure so it uses camlp5 (overriding existence
+ of camlp4 if it happens to be installed).
+
* Wed Oct 22 2008 Alan Dunn <amdunn at gmail.com> 8.1pl3-5
- Added Coq .v files into the main package at user request.
+
* Tue Sep 09 2008 Alan Dunn <amdunn at gmail.com> 8.1pl3-4
- Added creation of prelink blacklist for any bytecode files.
- Fixed execstack status for binaries.
+
* Tue Aug 05 2008 Alan Dunn <amdunn at gmail.com> 8.1pl3-3
- Changed parser to coq-parser to avoid name conflict with
coda-client.
- Made make process noisy again.
+
* Sun Jul 20 2008 Alan Dunn <amdunn at gmail.com> 8.1pl3-2.1
- Minor bump for Fedora 8 to bring it into line with the rest.
+
* 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: sources
===================================================================
RCS file: /cvs/pkgs/rpms/coq/devel/sources,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- sources 16 Jul 2008 18:49:27 -0000 1.2
+++ sources 5 Dec 2008 15:49:55 -0000 1.3
@@ -2,6 +2,6 @@
0e3d5eac23416ec75dd59fabdcc1367c Coq-RecTutorial.pdf.gz
021c58a1f2e5d029928ffae0cc9703b0 Coq-Reference-Manual.pdf.gz
bcb4d1c4857bfdae5c22f8fc0be6853c Coq-Tutorial.v.pdf.gz
-84311faf7865b2eab964990cdb365dca coq-8.1pl3.tar.gz
04285e3a76571db6e1d2fbe198c76120 coq-refman-html.tar.gz
17b1edf9122fd89c8b99d4e047b54fb8 coq-stdlib-html.tar.gz
+8fa623538d362d8f48d78e598c43215e coq-8.1pl4.tar.gz
More information about the fedora-extras-commits
mailing list