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-dose3] rawhide: OCaml 5.5.0 rebuild
Date: Fri, 10 Jul 2026 14:30:04 GMT [thread overview]
Message-ID: <178369380410.1.5019381327510642131.rpms-ocaml-dose3-051775df0d16@fedoraproject.org> (raw)
A new commit has been pushed.
Repo : rpms/ocaml-dose3
Branch : rawhide
Commit : 051775df0d16d54f05c2973536e0d8518b62394a
Author : Jerry James <loganjerry@gmail.com>
Date : 2026-07-10T08:29:35-06:00
Stats : +14/-13 in 1 file(s)
URL : https://src.fedoraproject.org/rpms/ocaml-dose3/c/051775df0d16d54f05c2973536e0d8518b62394a?branch=rawhide
Log:
OCaml 5.5.0 rebuild
- Use the dune declarative buildsystem
---
diff --git a/ocaml-dose3.spec b/ocaml-dose3.spec
index 5626e19..141c70e 100644
--- a/ocaml-dose3.spec
+++ b/ocaml-dose3.spec
@@ -1,6 +1,3 @@
-# OCaml packages not built on i686 since OCaml 5 / Fedora 39.
-ExcludeArch: %{ix86}
-
# There is also a separate test data repository for a different set of tests
# that is distributed separately.
@@ -30,6 +27,10 @@ Patch: 0005-OCamlgraph-2.1.0-adds-a-newline.patch
# A bugfix in ocaml-re 1.13.3 broke dose3
Patch: 0006-Re-1.13.3-changes.patch
+# OCaml packages not built on i686 since OCaml 5 / Fedora 39.
+ExcludeArch: %{ix86}
+
+BuildSystem: dune
BuildRequires: ocaml
BuildRequires: ocaml-dune
BuildRequires: ocaml-base64-devel >= 3.4.0-1
@@ -50,10 +51,15 @@ BuildRequires: dpkg
BuildRequires: %{py3_dist pyyaml}
# Needs latex for documentation.
-BuildRequires: tex(latex)
-BuildRequires: tex(comment.sty)
+BuildRequires: tex(amsmath.sty)
+BuildRequires: tex(amssymb.sty)
+BuildRequires: tex(bookmark.sty)
+BuildRequires: tex(lmodern.sty)
+BuildRequires: tex(xcolor.sty)
+BuildRequires: tex(xurl.sty)
+BuildRequires: texlive-ec
+BuildRequires: texlive-latex
BuildRequires: pandoc
-BuildRequires: graphviz
BuildRequires: poetry
BuildRequires: python3
BuildRequires: %{py3_dist sphinx}
@@ -110,13 +116,11 @@ manipulating packages of various formats.
# Do not run linkcheck; the koji builders have no network access
sed -i 's/html linkcheck/html/' doc/rtd/Makefile
-%build
-%dune_build
+%build -a
# FIXME: parallel build does not work
make -C doc
-%install
-%dune_install
+%install -a
sed -i '\@%{_bindir}@d;\@%{_mandir}@d' .ofiles
# Install manpages.
@@ -127,9 +131,6 @@ cp -a doc/manpages/*.8 %{buildroot}%{_mandir}/man8/
cp -a doc/manpages/*.5 %{buildroot}%{_mandir}/man5/
cp -a doc/manpages/*.1 %{buildroot}%{_mandir}/man1/
-%check
-%dune_check
-
%files -f .ofiles
%license COPYING
%doc CHANGES CREDITS README.architecture
reply other threads:[~2026-07-10 14:30 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=178369380410.1.5019381327510642131.rpms-ocaml-dose3-051775df0d16@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