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-fmt] rawhide: OCaml 5.5.0 rebuild
Date: Thu, 09 Jul 2026 18:30:49 GMT	[thread overview]
Message-ID: <178362184929.1.9433956363130689457.rpms-ocaml-fmt-19c08045c78e@fedoraproject.org> (raw)

            A new commit has been pushed.

            Repo   : rpms/ocaml-fmt
            Branch : rawhide
            Commit : 19c08045c78e8402c3ff2dd716a7c76945457450
            Author : Jerry James <loganjerry@gmail.com>
            Date   : 2026-07-09T12:30:24-06:00
            Stats  : +8/-15 in 1 file(s)
            URL    : https://src.fedoraproject.org/rpms/ocaml-fmt/c/19c08045c78e8402c3ff2dd716a7c76945457450?branch=rawhide

            Log:
            OCaml 5.5.0 rebuild

- Use the topkg declarative buildsystem
- Update __ocaml_requires_opts for OCaml 5.5.0

---
diff --git a/ocaml-fmt.spec b/ocaml-fmt.spec
index db649ef..16c59e1 100644
--- a/ocaml-fmt.spec
+++ b/ocaml-fmt.spec
@@ -15,6 +15,12 @@ URL:            https://erratique.ch/software/fmt
 VCS:            git:https://erratique.ch/repos/fmt.git
 Source:         %{url}/releases/fmt-%{version}.tbz
 
+BuildSystem:    topkg
+BuildOption(build): --dev-pkg false
+BuildOption(build): --tests true
+BuildOption(build): --with-base-unix true
+BuildOption(build): --with-cmdliner true
+
 BuildRequires:  ocaml >= 4.08.0
 BuildRequires:  ocaml-cmdliner-devel >= 1.3.0
 BuildRequires:  ocaml-findlib
@@ -24,7 +30,7 @@ BuildRequires:  ocaml-rpm-macros
 BuildRequires:  ocaml-topkg-devel >= 1.1.0
 
 # Do not require ocaml-compiler-libs at runtime
-%global __ocaml_requires_opts -i Asttypes -i Build_path_prefix_map -i Cmi_format -i Env -i Format_doc -i Ident -i Identifiable -i Load_path -i Location -i Longident -i Misc -i Oprint -i Outcometree -i Parsetree -i Path -i Primitive -i Shape -i Subst -i Toploop -i Type_immediacy -i Types -i Unit_info -i Warnings
+%global __ocaml_requires_opts -i Asttypes -i Build_path_prefix_map -i Cmi_format -i Data_types -i Env -i Format_doc -i Ident -i Identifiable -i Load_path -i Location -i Longident -i Misc -i Oprint -i Outcometree -i Parsetree -i Path -i Primitive -i Shape -i Subst -i Toploop -i Type_immediacy -i Types -i Unit_info -i Warnings
 
 %description
 Fmt exposes combinators to devise `Format` pretty-printing functions.
@@ -50,24 +56,11 @@ developing applications that use %{name}.
 # link with the math library
 sed -i 's/safe_string/&, cclib(-lm)/' _tags
 
-%build
-# Build the library and the tests
-ocaml pkg/pkg.ml build \
-  --dev-pkg false \
-  --tests true \
-  --with-base-unix true \
-  --with-cmdliner true
-
+%build -a
 # Build the documentation
 mkdir html
 ocamldoc -html -d html -I +cmdliner -I _build/src _build/src/*.mli
 
-%install
-%ocaml_install
-
-%check
-ocaml pkg/pkg.ml test
-
 %files -f .ofiles
 %doc CHANGES.md README.md
 %license LICENSE.md

                 reply	other threads:[~2026-07-09 18: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=178362184929.1.9433956363130689457.rpms-ocaml-fmt-19c08045c78e@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