From 2aa2942b027c8878b3e174fdea9e3a8a946e37c84811f534cfb3b136ec30d97f Mon Sep 17 00:00:00 2001 From: Aaron Puchert Date: Thu, 26 Jan 2023 23:09:12 +0000 Subject: [PATCH] - Build with ocaml-rpm-macros to get proper Requires and Provides for flocq-devel. This should prevent incompatibilities with other Ocaml libraries when building native objects against flocq-devel. OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=9 --- flocq.changes | 7 +++++++ flocq.spec | 5 +++-- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/flocq.changes b/flocq.changes index b08f668..d887686 100644 --- a/flocq.changes +++ b/flocq.changes @@ -1,3 +1,10 @@ +------------------------------------------------------------------- +Thu Jan 26 22:02:12 UTC 2023 - Aaron Puchert + +- Build with ocaml-rpm-macros to get proper Requires and Provides + for flocq-devel. This should prevent incompatibilities with other + Ocaml libraries when building native objects against flocq-devel. + ------------------------------------------------------------------- Thu Jun 30 12:56:30 UTC 2022 - Bernhard Wiedemann diff --git a/flocq.spec b/flocq.spec index 41be4db..6cbe53e 100644 --- a/flocq.spec +++ b/flocq.spec @@ -1,9 +1,9 @@ # # spec file for package flocq # -# Copyright (c) 2022 SUSE LLC +# Copyright (c) 2023 SUSE LLC # Copyright (c) 2020 Peter Trommler -# Copyright (c) 2022 Aaron Puchert +# Copyright (c) 2023 Aaron Puchert # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -30,6 +30,7 @@ Source0: https://flocq.gitlabpages.inria.fr/releases/%{name}-%{version}.t Source100: %{name}-rpmlintrc BuildRequires: coq-devel >= 8.12 BuildRequires: gcc-c++ +BuildRequires: ocaml-rpm-macros BuildRequires: ocamlfind(findlib) # The binary format works only with the Coq version it was built with. Requires: coq = %{pkg_version coq}