rpm/coq
SHA256
1
0
Fork 0
forked from pool/coq
Code Pull Requests Activity

Accepting request 1061434 from science

Browse Source 
- Build with ocaml-rpm-macros to get proper Requires and Provides
  for coq-devel. This should prevent incompatibilities with other
  Ocaml libraries when building native objects against coq-devel.

OBS-URL: https://build.opensuse.org/request/show/1061434
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coq?expand=0&rev=20
This commit is contained in:
Dominique Leuenberger 2023-01-27 09:16:34 +00:00 committed by Git OBS Bridge
commit 0236a47897
2 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
coq.changes
View File

@ -1,3 +1,10 @@
-------------------------------------------------------------------
Thu Jan 26 22:02:12 UTC 2023 - Aaron Puchert <aaronpuchert@alice-dsl.net>
- Build with ocaml-rpm-macros to get proper Requires and Provides
for coq-devel. This should prevent incompatibilities with other
Ocaml libraries when building native objects against coq-devel.
-------------------------------------------------------------------
Sat Nov 26 22:20:18 UTC 2022 - Aaron Puchert <aaronpuchert@alice-dsl.net>

4
coq.spec
View File

@ -1,8 +1,9 @@
#
# spec file for package coq
#
# Copyright (c) 2022 SUSE LLC
# Copyright (c) 2023 SUSE LLC
# Copyright (c) 2012-2018 Peter Trommler, peter.trommler at ohm-hochschule.de
# Copyright (c) 2023 Aaron Puchert <aaronpuchert@alice-dsl.net>
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
@ -38,6 +39,7 @@ BuildRequires: make >= 3.81
BuildRequires: ocaml >= 4.09.0
BuildRequires: ocaml-camlp5-devel >= 5.08
BuildRequires: ocaml-dune >= 2.5.1
BuildRequires: ocaml-rpm-macros
BuildRequires: ocamlfind(findlib)
BuildRequires: ocamlfind(zarith)
%if %{with ide}