diff options
| author | Michael Soegtrop | 2020-06-09 23:01:28 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-06-10 13:12:12 +0200 |
| commit | 3b556e1ad3b757f8a22248ac068e84e5b4082883 (patch) | |
| tree | 3a91e14f659007eb6cd5f1e95de27efc3a89d9eb /dev/build | |
| parent | 628ed5960ab22a0cac040c536c99d5d4e38d43d8 (diff) | |
Windows: fix build of Gappa C++ tool
Diffstat (limited to 'dev/build')
| -rwxr-xr-x | dev/build/windows/makecoq_mingw.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/dev/build/windows/makecoq_mingw.sh b/dev/build/windows/makecoq_mingw.sh index 43ffb37477..1a5a8b29fd 100755 --- a/dev/build/windows/makecoq_mingw.sh +++ b/dev/build/windows/makecoq_mingw.sh @@ -1928,7 +1928,9 @@ function make_addon_gappa_tool { install_boost if build_prep_overlay gappa_tool; then installer_addon_section gappa_tool "Gappa tool" "Stand alone tool for automated generation of numerical arithmetic proofs" "" - logn autogen ./autogen.sh + log1 autoreconf + # Note: configure.in seems to reference this file + touch stamp-config_h.in logn configure ./configure --build="$HOST" --host="$HOST" --target="$TARGET" --prefix="$PREFIXCOQ" logn remake ./remake --jobs=$MAKE_THREADS logn install ./remake -d install |