BuildRequires: ocaml >= 3.09.0
BuildRequires: camlp5 >= 5.01
BuildRequires: ocaml-lablgtk2-devel >= 2.12.0
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-cmsuper
BuildRequires: sed >= 4.0
BuildRequires: texlive-fonts-cmextra
BuildRequires: texlive-fonts-cmsuper
- --coqdocdir %{_datadir}/texmf/tex/latex/misc \
- --coqide %{?with_ocaml_opt:opt}%{!?with_ocaml_opt:byte}
+ -coqdocdir %{_datadir}/texmf/tex/latex/misc \
+ -coqide %{?with_ocaml_opt:opt}%{!?with_ocaml_opt:byte}
%{__make} -j1 world VERBOSE=1 CAML_LD_LIBRARY_PATH=kernel/byterun
%{?with_tests:%{__make} -j1 check VERBOSE=1 CAML_LD_LIBRARY_PATH=kernel/byterun} # Use native coq to compile theories
%{__make} -j1 world VERBOSE=1 CAML_LD_LIBRARY_PATH=kernel/byterun
%{?with_tests:%{__make} -j1 check VERBOSE=1 CAML_LD_LIBRARY_PATH=kernel/byterun} # Use native coq to compile theories
%defattr(644,root,root,755)
%doc %{_docdir}/%{name}-%{version}
%dir %{_sysconfdir}/%{name}
%defattr(644,root,root,755)
%doc %{_docdir}/%{name}-%{version}
%dir %{_sysconfdir}/%{name}
%attr(755,root,root) %{_bindir}/coq_makefile
%attr(755,root,root) %{_bindir}/coq-tex
%attr(755,root,root) %{_bindir}/coqc
%attr(755,root,root) %{_bindir}/coqchk
%attr(755,root,root) %{_bindir}/coq_makefile
%attr(755,root,root) %{_bindir}/coq-tex
%attr(755,root,root) %{_bindir}/coqc
%attr(755,root,root) %{_bindir}/coqchk
%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}/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
%files emacs
%defattr(644,root,root,755)
%files emacs
%defattr(644,root,root,755)
%files latex
%defattr(644,root,root,755)
%files latex
%defattr(644,root,root,755)