public inbox for git-commits@fedoraproject.org
help / color / mirror / Atom feed
From: Jerry James <loganjerry@gmail.com>
To: git-commits@fedoraproject.org
Subject: [rpms/ocaml-menhir] rawhide: OCaml 5.5.0 rebuild
Date: Thu, 09 Jul 2026 16:53:59 GMT [thread overview]
Message-ID: <178361603972.1.15558065920017068046.rpms-ocaml-menhir-fa5c713dfe64@fedoraproject.org> (raw)
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
reply other threads:[~2026-07-09 16:53 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=178361603972.1.15558065920017068046.rpms-ocaml-menhir-fa5c713dfe64@fedoraproject.org \
--to=loganjerry@gmail.com \
--cc=git-commits@fedoraproject.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox