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-psmt2-frontend] rawhide: OCaml 5.5.0 rebuild
Date: Thu, 09 Jul 2026 19:24:47 GMT	[thread overview]
Message-ID: <178362508752.1.5887788236091655844.rpms-ocaml-psmt2-frontend-4c4283334fc9@fedoraproject.org> (raw)

            A new commit has been pushed.

            Repo   : rpms/ocaml-psmt2-frontend
            Branch : rawhide
            Commit : 4c4283334fc9a85797eda089eff032fcfe984b69
            Author : Jerry James <loganjerry@gmail.com>
            Date   : 2026-07-09T13:24:37-06:00
            Stats  : +8/-9 in 1 file(s)
            URL    : https://src.fedoraproject.org/rpms/ocaml-psmt2-frontend/c/4c4283334fc9a85797eda089eff032fcfe984b69?branch=rawhide

            Log:
            OCaml 5.5.0 rebuild

- Use the dune declarative buildsystem

---
diff --git a/ocaml-psmt2-frontend.spec b/ocaml-psmt2-frontend.spec
index 0dfa6b7..0ce5153 100644
--- a/ocaml-psmt2-frontend.spec
+++ b/ocaml-psmt2-frontend.spec
@@ -5,7 +5,7 @@ ExcludeArch: %{ix86}
 
 Name:           ocaml-psmt2-frontend
 Version:        0.4.0
-Release:        30%{?dist}
+Release:        31%{?dist}
 Summary:        Parser and typechecker for an extension of SMT-LIB 2
 
 License:        Apache-2.0
@@ -16,6 +16,7 @@ Source:         %{giturl}/archive/%{version}/psmt2-frontend-%{version}.tar.gz
 # https://github.com/ACoquereau/psmt2-frontend/pull/24
 Patch:          %{name}-sphinx6.patch
 
+BuildSystem:    dune
 BuildRequires:  make
 BuildRequires:  ocaml >= 4.04.2
 BuildRequires:  ocaml-dune >= 2.6.0
@@ -48,13 +49,10 @@ Documentation for %{name}.
 # Do not use git to find the version; we don't have a git checkout
 sed -i '/^git =/d;/^branch=/d;s/^\(version = \).*/\1"%{version}"/' sphinx/conf.py
 
-%build
-%dune_build
+%build -a
 make sphinx
 
-%install
-%dune_install
-
+%install -a
 # Put something interesting into the binary package META file
 cat > %{buildroot}%{ocamldir}/psmt2-frontend_bin/META << EOF
 version = "%{version}"
@@ -62,9 +60,6 @@ description = "PSMT2 command line tool"
 requires = ""
 EOF
 
-%check
-%dune_check
-
 %files -f .ofiles
 %doc CHANGES.md README.md
 %license LICENSE
@@ -75,6 +70,10 @@ EOF
 %doc docs/sphinx
 
 %changelog
+* Thu Jul 09 2026 Jerry James <loganjerry@gmail.com> - 0.4.0-31
+- OCaml 5.5.0 rebuild
+- Use the dune declarative buildsystem
+
 * Fri Feb 20 2026 Richard W.M. Jones <rjones@redhat.com> - 0.4.0-30
 - OCaml 5.4.1 rebuild
 

                 reply	other threads:[~2026-07-09 19:24 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=178362508752.1.5887788236091655844.rpms-ocaml-psmt2-frontend-4c4283334fc9@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