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-mtime] rawhide: OCaml 5.5.0 rebuild
Date: Thu, 09 Jul 2026 19:02:53 GMT [thread overview]
Message-ID: <178362377377.1.13731037049704184549.rpms-ocaml-mtime-2327b60866f5@fedoraproject.org> (raw)
A new commit has been pushed.
Repo : rpms/ocaml-mtime
Branch : rawhide
Commit : 2327b60866f51fbdc490ed6009090215e4143193
Author : Jerry James <loganjerry@gmail.com>
Date : 2026-07-09T13:02:30-06:00
Stats : +5/-10 in 1 file(s)
URL : https://src.fedoraproject.org/rpms/ocaml-mtime/c/2327b60866f51fbdc490ed6009090215e4143193?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-mtime.spec b/ocaml-mtime.spec
index f381098..27f3769 100644
--- a/ocaml-mtime.spec
+++ b/ocaml-mtime.spec
@@ -11,6 +11,10 @@ URL: https://erratique.ch/software/mtime
VCS: git:https://erratique.ch/repos/mtime.git
Source: %{url}/releases/mtime-%{version}.tbz
+BuildSystem: topkg
+BuildOption(build): --dev-pkg false
+BuildOption(build): --tests true
+
BuildRequires: ocaml >= 4.08.0
BuildRequires: ocaml-compiler-libs
BuildRequires: ocaml-findlib
@@ -19,7 +23,7 @@ BuildRequires: ocaml-rpm-macros
BuildRequires: ocaml-topkg-devel >= 1.0.3
# 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
Mtime has platform independent support for monotonic wall-clock time in pure
@@ -45,15 +49,6 @@ developing applications that use %{name}.
# link with the math library
echo $'\ntrue: cclib(-lm)' >> _tags
-%build
-ocaml pkg/pkg.ml build --dev-pkg false --tests true
-
-%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 19:02 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=178362377377.1.13731037049704184549.rpms-ocaml-mtime-2327b60866f5@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