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

Accepting request 980558 from science

Browse Source 
- Update to version 4.1.0.
  * Added `Bnearbyint` and `Btrunc` in `IEEE754`.
  * Ensured compatibility from Coq 8.12 to 8.16.
- Fix patching of coqdoc invocation, make it more robust.
- Patch up coqdoc invocation also for older Coq versions since they
  don't understand --coqlib_url.

OBS-URL: https://build.opensuse.org/request/show/980558
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/flocq?expand=0&rev=2
This commit is contained in:
Dominique Leuenberger 2022-06-03 12:16:51 +00:00 committed by Git OBS Bridge
commit 16bcba5dfb
4 changed files with 21 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
flocq-4.0.0.tar.gz
View File

@ -1,3 +0,0 @@
version https://git-lfs.github.com/spec/v1
oid sha256:13cb06a541936272276256997449800310838643fdff8ff629eeea4b63106c73
size 437894

3
flocq-4.1.0.tar.gz Normal file
View File

@ -0,0 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:07e62f25272511302bf769aae3905b3a879cc1c2e712935ff3123e8557526bff
size 447412

10
flocq.changes
View File

@ -1,3 +1,13 @@
-------------------------------------------------------------------
Thu Jun 2 21:40:52 UTC 2022 - Aaron Puchert <aaronpuchert@alice-dsl.net>
- Update to version 4.1.0.
* Added `Bnearbyint` and `Btrunc` in `IEEE754`.
* Ensured compatibility from Coq 8.12 to 8.16.
- Fix patching of coqdoc invocation, make it more robust.
- Patch up coqdoc invocation also for older Coq versions since they
don't understand --coqlib_url.
-------------------------------------------------------------------
Fri Apr 15 16:41:08 UTC 2022 - Aaron Puchert <aaronpuchert@alice-dsl.net>

11
flocq.spec
View File

@ -1,6 +1,7 @@
#
# spec file for package flocq
#
# Copyright (c) 2022 SUSE LLC
# Copyright (c) 2020 Peter Trommler <ptrommler@icloud.com>
# Copyright (c) 2022 Aaron Puchert <aaronpuchert@alice-dsl.net>
#
@ -13,11 +14,12 @@
# license that conforms to the Open Source Definition (Version 1.9)
# published by the Open Source Initiative.
# Please submit bugfixes or comments via http://bugs.opensuse.org/
# Please submit bugfixes or comments via https://bugs.opensuse.org/
#
Name: flocq
Version: 4.0.0
Version: 4.1.0
Release: 0
Summary: Formalization of floating point numbers for Coq
Group: Productivity/Scientific/Math
@ -61,8 +63,11 @@ This package contains the HTML documentation for flocq.
%setup -q
# Make the documentation point to coq-doc if possible.
grep "\-\-coqlib_url http://coq.inria.fr/distrib/current/stdlib" Remakefile.in &&
%if %{pkg_vcmp coq >= 8.14}
sed -i "s|--coqlib http://coq.inria.fr/distrib/current/stdlib|--coqlib %{_libdir}/coq-core --coqlib_url %{_defaultdocdir}/coq/stdlib|" Remakefile.in
sed -i "s|--coqlib_url http://coq.inria.fr/distrib/current/stdlib|--coqlib %{_libdir}/coq-core --coqlib_url %{_defaultdocdir}/coq/stdlib|" Remakefile.in
%else
sed -i "s|--coqlib_url http://coq.inria.fr/distrib/current/stdlib|--coqlib %{_libdir}/coq-core|" Remakefile.in
%endif
%build