pool/flocq
SHA256
2
0
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

- Fix patching of coqdoc invocation, make it more robust.

Browse Source 
- Patch up coqdoc also for older Coq versions since they don't
  understand --coqlib_url.

OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=4
This commit is contained in:
Aaron Puchert 2022-06-02 22:19:12 +00:00 committed by Git OBS Bridge
parent 387644463d
commit 7afcbc2971
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
flocq.changes
View File

@ -4,6 +4,9 @@ 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 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>

5
flocq.spec
View File

@ -63,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