Author: baggins Date: Thu Apr 7 21:42:49 2011 GMT Module: packages Tag: HEAD ---- Log message: - 8.3pl1 - added desktop file and icon for coqide
---- Files affected: packages/coq: coq.spec (1.14 -> 1.15) ---- Diffs: ================================================================ Index: packages/coq/coq.spec diff -u packages/coq/coq.spec:1.14 packages/coq/coq.spec:1.15 --- packages/coq/coq.spec:1.14 Wed Apr 6 11:15:33 2011 +++ packages/coq/coq.spec Thu Apr 7 23:42:44 2011 @@ -1,26 +1,28 @@ # $Revision$, $Date$ -# -# TODO: -# - desktop file for coqide -# Summary: The Coq Proof Assistant Summary(pl.UTF-8): Coq - narzędzie pomagające w udowadnianiu Name: coq Version: 8.3pl1 -Release: 1 +Release: 0.1 License: GPL Group: Applications/Math Vendor: INRIA Rocquencourt Source0: http://coq.inria.fr/V%{version}/files/%{name}-%{version}.tar.gz # Source0-md5: 1869d22b337f5da59ba3bbe1433f9a3b +Source1: coqide.desktop +Source2: coqide.xpm Patch0: %{name}-lablgtk2.patch URL: http://coq.inria.fr/ BuildRequires: bash BuildRequires: emacs +BuildRequires: hevea +BuildRequires: netpbm-progs BuildRequires: ocaml >= 3.09.0 BuildRequires: camlp5 >= 5.01 BuildRequires: ocaml-lablgtk2-devel >= 2.12.0 BuildRequires: sed >= 4.0 +BuildRequires: texlive-latex-comment +BuildRequires: texlive-format-pdflatex BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n) %description @@ -51,22 +53,27 @@ -bindir %{_bindir} \ -libdir %{_libdir}/coq \ -mandir %{_mandir} \ + -docdir %{_datadir}/coq/doc \ -emacs emacs \ + -browser 'iceweasel -remote "OpenURL(%s,new-tab)" || iceweasel %s &' \ -emacslib %{_datadir}/emacs/site-lisp \ -opt \ --coqdocdir %{_datadir}/texmf/tex/latex/misc \ - --coqide opt \ - -reals all # Need ocamlc.opt and ocamlopt.opt + --coqide opt %{__make} -j1 world check # Use native coq to compile theories %install rm -rf $RPM_BUILD_ROOT +install -d $RPM_BUILD_ROOT{%{_desktopdir},%{_pixmapsdir}} %{__make} -e install \ COQINSTALLPREFIX=$RPM_BUILD_ROOT/ # To install only locally the binaries compiled with absolute paths +install %{SOURCE1} $RPM_BUILD_ROOT%{_desktopdir} +install %{SOURCE2} $RPM_BUILD_ROOT%{_pixmapsdir} + %clean rm -rf $RPM_BUILD_ROOT @@ -106,6 +113,8 @@ %{_mandir}/man1/coqdoc.1* %{_mandir}/man1/coqwc.1* %{_datadir}/texmf/tex/latex/misc/coqdoc.sty +%{_desktopdir}/coqide.desktop +%{_pixmapsdir}/coqide.xpm %define date %(echo `LC_ALL="C" date +"%a %b %d %Y"`) %changelog @@ -113,6 +122,10 @@ All persons listed below can be reached at <cvs_login>@pld-linux.org $Log$ +Revision 1.15 2011/04/07 21:42:44 baggins +- 8.3pl1 +- added desktop file and icon for coqide + Revision 1.14 2011/04/06 09:15:33 baggins - 8.3pl1 - up BR lablgtk2 to 2.12 ================================================================ ---- CVS-web: http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/packages/coq/coq.spec?r1=1.14&r2=1.15&f=u _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
