diff options
| author | Théo Zimmermann | 2020-06-05 12:01:23 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-06-05 22:38:18 +0200 |
| commit | d930f65a4cd5dd5b9274c3872adbe8c58d303334 (patch) | |
| tree | 87c0c94a0c902459c57210a35c9541436e50b2ed /dev | |
| parent | 9c26e583668827bff5159e7671c406ace8b2f3ae (diff) | |
Fix Flocq build in Windows add-ons.
1. Fix casing of build_prep_overlay argument.
Follow-up of 6cc6b87f997d7a5e848203b49bfedfaa96c53bb2
2. Call autoconf directly.
Adapted from a9996619e2d2352e0e60faf4dbde78fa1549b2af
Diffstat (limited to 'dev')
| -rwxr-xr-x | dev/build/windows/makecoq_mingw.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev/build/windows/makecoq_mingw.sh b/dev/build/windows/makecoq_mingw.sh index ba552ab302..4a6555a4f7 100755 --- a/dev/build/windows/makecoq_mingw.sh +++ b/dev/build/windows/makecoq_mingw.sh @@ -1880,9 +1880,9 @@ function make_addon_quickchick { # Flocq: Floating point library function make_addon_flocq { - if build_prep_overlay Flocq; then + if build_prep_overlay flocq; then installer_addon_section flocq "Flocq" "Coq library for floating point arithmetic" "" - logn autogen ./autogen.sh + log1 autoconf logn configure ./configure logn remake ./remake --jobs=$MAKE_THREADS logn install ./remake install |