From d930f65a4cd5dd5b9274c3872adbe8c58d303334 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 5 Jun 2020 12:01:23 +0200
Subject: 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
---
 dev/build/windows/makecoq_mingw.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'dev')

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
-- 
cgit v1.2.3