public inbox for git-commits@fedoraproject.org
help / color / mirror / Atom feed
* [rpms/ocaml-menhir] rawhide: OCaml 5.5.0 rebuild
@ 2026-07-09 16:53 Jerry James
  0 siblings, 0 replies; only message in thread
From: Jerry James @ 2026-07-09 16:53 UTC (permalink / raw)
  To: git-commits

            A new commit has been pushed.

            Repo   : rpms/ocaml-menhir
            Branch : rawhide
            Commit : fa5c713dfe640f081fd3b1c070defa1623a02f69
            Author : Jerry James <loganjerry@gmail.com>
            Date   : 2026-07-09T10:53:36-06:00
            Stats  : +15/-11 in 1 file(s)
            URL    : https://src.fedoraproject.org/rpms/ocaml-menhir/c/fa5c713dfe640f081fd3b1c070defa1623a02f69?branch=rawhide

            Log:
            OCaml 5.5.0 rebuild

- Use the dune declarative buildsystem
- Trim BuildRequires

---
diff --git a/ocaml-menhir.spec b/ocaml-menhir.spec
index 9e85b79..deda9d1 100644
--- a/ocaml-menhir.spec
+++ b/ocaml-menhir.spec
@@ -17,15 +17,26 @@ Source:         %{giturl}/-/archive/%{version}/menhir-%{version}.tar.bz2
 # OCaml packages not built on i686 since OCaml 5 / Fedora 39.
 ExcludeArch:    %{ix86}
 
+BuildSystem:    dune
+BuildOption(install): -s
+
 BuildRequires:  ocaml
 BuildRequires:  ocaml-dune
 
 %if %{with manual}
-BuildRequires:  ImageMagick
 BuildRequires:  hevea
-BuildRequires:  tex(latex)
+BuildRequires:  tex(amsmath.sty)
+BuildRequires:  tex(amstext.sty)
+BuildRequires:  tex(fontenc.sty)
+BuildRequires:  tex(hyperref.sty)
+BuildRequires:  tex(inputenc.sty)
 BuildRequires:  tex(moreverb.sty)
 BuildRequires:  tex(stmaryrd.sty)
+BuildRequires:  tex(tikz.sty)
+BuildRequires:  tex(xspace.sty)
+BuildRequires:  texlive-bibtex
+BuildRequires:  texlive-ec
+BuildRequires:  texlive-latex
 BuildRequires:  texlive-times
 %endif
 
@@ -34,9 +45,6 @@ Provides:       bundled(ocaml-pprint) = 20230830
 
 Requires:       ocaml-menhirlib-devel%{?_isa} = %{version}-%{release}
 
-# This can be removed when F42 reaches EOL
-Obsoletes:      coq-menhirlib < 20230608-1
-
 %description
 Menhir is a LR(1) parser generator for the Objective Caml programming
 language.  That is, Menhir compiles LR(1) grammar specifications down to OCaml
@@ -64,9 +72,7 @@ building applications with a parser produced by Menhir.
 %prep
 %autosetup -n menhir-%{version}
 
-%build
-%dune_build
-
+%build -a
 %if %{with manual}
 cd doc
 rm manual.pdf
@@ -78,9 +84,7 @@ pdflatex -interaction=nonstopmode manual
 cd -
 %endif
 
-%install
-%dune_install -s
-
+%install -a
 # We do not install *.ml files by default, but this one is needed
 cp -p _build/default/lib/pack/menhirLib.ml %{buildroot}%{ocamldir}/menhirLib
 

^ permalink raw reply related	[flat|nested] only message in thread

only message in thread, other threads:[~2026-07-09 16:53 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2026-07-09 16:53 [rpms/ocaml-menhir] rawhide: OCaml 5.5.0 rebuild Jerry James

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox