From 9e2234f917699885c3af070d46784f095a5a10fa Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jan=20R=C4=99korajski?= Date: Sat, 25 Jul 2015 21:27:00 +0200 Subject: [PATCH] - updated BRs and files --- coq.spec | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/coq.spec b/coq.spec index ea6a53d..0e09f44 100644 --- a/coq.spec +++ b/coq.spec @@ -32,6 +32,8 @@ BuildRequires: ocaml >= 3.09.0 BuildRequires: camlp5 >= 5.01 BuildRequires: ocaml-lablgtk2-devel >= 2.12.0 BuildRequires: sed >= 4.0 +BuildRequires: texlive-fonts-cmextra +BuildRequires: texlive-fonts-other BuildRequires: texlive-latex-ams BuildRequires: texlive-latex-comment BuildRequires: texlive-latex-moreverb @@ -132,14 +134,14 @@ rm -rf $RPM_BUILD_ROOT %attr(755,root,root) %{_bindir}/coq-tex %attr(755,root,root) %{_bindir}/coqc %attr(755,root,root) %{_bindir}/coqchk -%attr(755,root,root) %{_bindir}/coqchk.opt +%{?with_ocaml_opt:%attr(755,root,root) %{_bindir}/coqchk.opt} %attr(755,root,root) %{_bindir}/coqdep %attr(755,root,root) %{_bindir}/coqdoc %attr(755,root,root) %{_bindir}/coqide* %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 +%{?with_ocaml_opt:%attr(755,root,root) %{_bindir}/coqtop.opt} %attr(755,root,root) %{_bindir}/coqwc %attr(755,root,root) %{_bindir}/gallina %dir %{_libdir}/coq @@ -154,7 +156,7 @@ rm -rf $RPM_BUILD_ROOT %{_mandir}/man1/coqmktop.1* %{_mandir}/man1/coqtop.1* %{_mandir}/man1/coqtop.byte.1* -%{_mandir}/man1/coqtop.opt.1* +%{?with_ocaml_opt:%{_mandir}/man1/coqtop.opt.1*} %{_mandir}/man1/coqwc.1* %{_mandir}/man1/gallina.1* %{_desktopdir}/coqide.desktop -- 2.43.0