From eea8d2a813b5e8e882c76fd24230028aeffceed9 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Fri, 10 Apr 2020 13:00:27 -0600 Subject: [PATCH 1/2] Rebuild without zip support; otherwise frama-c cannot start. --- why3.spec | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/why3.spec b/why3.spec index 4900984..78c27c0 100644 --- a/why3.spec +++ b/why3.spec @@ -9,7 +9,7 @@ Name: why3 Version: 1.2.1 -Release: 1%{?dist} +Release: 2%{?dist} Summary: Software verification platform # See LICENSE for the terms of the exception @@ -40,7 +40,6 @@ BuildRequires: ocaml-menhir-devel BuildRequires: ocaml-num-devel BuildRequires: ocaml-sqlite-devel BuildRequires: ocaml-zarith-devel -BuildRequires: ocaml-zip-devel BuildRequires: pkgconfig(gtksourceview-2.0) BuildRequires: rubber BuildRequires: tex(comment.sty) @@ -112,7 +111,6 @@ Summary: Development files for using the ocaml-%{name} library Requires: ocaml-%{name}%{?_isa} = %{version}-%{release} Requires: ocaml-menhir-devel%{?_isa} Requires: ocaml-num-devel%{?_isa} -Requires: ocaml-zip-devel%{?_isa} %description -n ocaml-%{name}-devel This package contains development files needed to build applications @@ -289,6 +287,9 @@ chmod 0755 %{buildroot}%{_bindir}/* \ %files all %changelog +* Fri Apr 10 2020 Jerry James - 1.2.1-2 +- Rebuild without zip support; otherwise frama-c cannot start + * Tue Oct 29 2019 Jerry James - 1.2.1-1 - New upstream release - Add -proofgeneral subpackage From bdc120e12724629aa47c6d818f89dcf10b8b407d Mon Sep 17 00:00:00 2001 From: Jerry James Date: Sun, 12 Apr 2020 13:30:17 -0600 Subject: [PATCH 2/2] Make the dependency on ocaml-num explicit (bz 1795083). --- why3.spec | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/why3.spec b/why3.spec index 78c27c0..312c0a2 100644 --- a/why3.spec +++ b/why3.spec @@ -9,7 +9,7 @@ Name: why3 Version: 1.2.1 -Release: 2%{?dist} +Release: 3%{?dist} Summary: Software verification platform # See LICENSE for the terms of the exception @@ -101,6 +101,7 @@ based on Why3, including various automated and interactive provers. %package -n ocaml-%{name} Summary: Software verification library for ocaml +Requires: ocaml-num%{?_isa} %description -n ocaml-%{name} This package contains an ocaml library that exposes the functionality @@ -287,6 +288,9 @@ chmod 0755 %{buildroot}%{_bindir}/* \ %files all %changelog +* Sun Apr 12 2020 Jerry James - 1.2.1-3 +- Make the dependency on ocaml-num explicit (bz 1795083) + * Fri Apr 10 2020 Jerry James - 1.2.1-2 - Rebuild without zip support; otherwise frama-c cannot start