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

            A new commit has been pushed.

            Repo   : rpms/0install
            Branch : rawhide
            Commit : 11ec04e42cf97905fc3370241df56f6d224bfeb1
            Author : Jerry James <loganjerry@gmail.com>
            Date   : 2026-07-09T17:15:44-06:00
            Stats  : +5/-9 in 1 file(s)
            URL    : https://src.fedoraproject.org/rpms/0install/c/11ec04e42cf97905fc3370241df56f6d224bfeb1?branch=rawhide

            Log:
            OCaml 5.5.0 rebuild

- Use the dune declarative buildsystem

---
diff --git a/0install.spec b/0install.spec
index db1bb6d..673939e 100644
--- a/0install.spec
+++ b/0install.spec
@@ -25,6 +25,11 @@ Source2:        5DD58D70899C454A966D6A5175133C8F94F6E0CC.gpg
 # OCaml packages not built on i686 since OCaml 5 / Fedora 39.
 ExcludeArch:    %{ix86}
 
+BuildSystem:    dune
+BuildOption(build): -p 0install-solver
+BuildOption(install): 0install-solver
+BuildOption(check): -p 0install-solver
+
 BuildRequires:  gpgverify
 BuildRequires:  ocaml >= 4.08
 BuildRequires:  ocaml-dune >= 2.5
@@ -66,15 +71,6 @@ developing applications that use %{name}-solver.
 %{gpgverify} --data=%{SOURCE0} --signature=%{SOURCE1} --keyring=%{SOURCE2}
 %autosetup
 
-%build
-%dune_build -p 0install-solver
-
-%install
-%dune_install 0install-solver
-
-%check
-%dune_check -p 0install-solver
-
 %files -n ocaml-0install-solver -f .ofiles
 %doc CHANGES.md README.md
 %license COPYING

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

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

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2026-07-09 23:16 [rpms/0install] 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