Author: baggins Date: Sat Dec 10 01:45:42 2005 GMT Module: SPECS Tag: HEAD ---- Log message: - release 2 - builds with new ocaml and lablgtk (with some patching) - updated files (include coqide)
---- Files affected: SPECS: coq.spec (1.7 -> 1.8) ---- Diffs: ================================================================ Index: SPECS/coq.spec diff -u SPECS/coq.spec:1.7 SPECS/coq.spec:1.8 --- SPECS/coq.spec:1.7 Mon Jul 25 03:02:56 2005 +++ SPECS/coq.spec Sat Dec 10 02:45:36 2005 @@ -3,19 +3,21 @@ Summary(pl): Coq - narzędzie pomagające w udowadnianiu Name: coq Version: 8.0pl2 -Release: 1 +Release: 2 License: GPL Group: Applications/Math Vendor: INRIA Rocquencourt Source0: ftp://ftp.inria.fr/INRIA/coq/V%{version}/%{name}-%{version}.tar.gz # Source0-md5: 39ee0fed76e47a11de2f49e2c236ef79 -Patch0: coq-ocaml-3.07.patch +# ftp://ftp.inria.fr/INRIA/coq/V8.0pl2/patch-coq-8.0pl2-ocaml-3.09 +Patch0: %{name}-ocaml-3.09.patch +Patch1: %{name}-lablgtk26.patch Icon: petit-coq.gif URL: http://coq.inria.fr/ BuildRequires: emacs -BuildRequires: ocaml +BuildRequires: ocaml >= 3.09.0 BuildRequires: ocaml-camlp4 -BuildRequires: ocaml-lablgtk-devel +BuildRequires: ocaml-lablgtk2-devel >= 2.6.0 BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n) %description @@ -37,6 +39,8 @@ %prep %setup -q +%patch0 -p0 +%patch1 -p1 %build ./configure \ @@ -47,6 +51,7 @@ -emacslib %{_datadir}/emacs/site-lisp \ -opt \ --coqdocdir %{_datadir}/texmf/tex/latex/misc \ + --coqide opt \ -reals all # Need ocamlc.opt and ocamlopt.opt %{__make} world check # Use native coq to compile theories @@ -63,19 +68,21 @@ %files %defattr(644,root,root,755) -%attr(755,root,root) %{_bindir}/coqmktop +%attr(755,root,root) %{_bindir}/coq-interface +%attr(755,root,root) %{_bindir}/coq-interface.opt +%attr(755,root,root) %{_bindir}/coq-tex +%attr(755,root,root) %{_bindir}/coq_makefile %attr(755,root,root) %{_bindir}/coqc -%attr(755,root,root) %{_bindir}/coqtop.byte -%attr(755,root,root) %{_bindir}/coqtop.opt -%attr(755,root,root) %{_bindir}/coqtop %attr(755,root,root) %{_bindir}/coqdep -%attr(755,root,root) %{_bindir}/gallina -%attr(755,root,root) %{_bindir}/coq_makefile %attr(755,root,root) %{_bindir}/coqdoc +%attr(755,root,root) %{_bindir}/coqide.byte +%attr(755,root,root) %{_bindir}/coqide.opt +%attr(755,root,root) %{_bindir}/coqmktop +%attr(755,root,root) %{_bindir}/coqtop +%attr(755,root,root) %{_bindir}/coqtop.byte +%attr(755,root,root) %{_bindir}/coqtop.opt %attr(755,root,root) %{_bindir}/coqwc -%attr(755,root,root) %{_bindir}/coq-tex -%attr(755,root,root) %{_bindir}/coq-interface -%attr(755,root,root) %{_bindir}/coq-interface.opt +%attr(755,root,root) %{_bindir}/gallina %attr(755,root,root) %{_bindir}/parser %attr(755,root,root) %{_bindir}/parser.opt %dir %{_libdir}/coq @@ -103,6 +110,11 @@ All persons listed below can be reached at <cvs_login>@pld-linux.org $Log$ +Revision 1.8 2005/12/10 01:45:36 baggins +- release 2 +- builds with new ocaml and lablgtk (with some patching) +- updated files (include coqide) + Revision 1.7 2005/07/25 01:02:56 aredridel - finish update to 8.0pl2 ================================================================ ---- CVS-web: http://cvs.pld-linux.org/SPECS/coq.spec?r1=1.7&r2=1.8&f=u _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
