aboutsummaryrefslogtreecommitdiff
path: root/dev/build/windows/makecoq_mingw.sh
AgeCommit message (Expand)Author
2021-01-04[win] remove old scripts, we now use the platform onesEnrico Tassi
2020-12-30Fix failing Windows CI builds.Théo Zimmermann
2020-12-18Do not load overlay data (workaround to fix CI).Théo Zimmermann
2020-12-17[ci/gitlab/windows] Bump OCaml to 4.10.2 to fix Windows CI.Théo Zimmermann
2020-11-26[ci] bump elpi to 1.12.0Enrico Tassi
2020-11-25[ci] make compcert use flocq and menhirEnrico Tassi
2020-11-15[ci/gitlab/windows] Do not load user overlays.Théo Zimmermann
2020-10-12elpi 1.11.4Enrico Tassi
2020-09-15[zarith] [micromega] Bump to 1.10 and remove some hacksEmilio Jesus Gallego Arias
2020-08-27[numeral] [plugins] Switch from `Big_int` to ZArith.Emilio Jesus Gallego Arias
2020-07-04Windows build: remove patch for windres architectureMichael Soegtrop
2020-06-10Fix the build of Elpi by calling Dune directly.Théo Zimmermann
2020-06-10Call autoreconf in interval, flocq and gappa-plugin.Théo Zimmermann
2020-06-10Fix Coquelicot build in Windows add-ons.Théo Zimmermann
2020-06-10Windows: fix build of Gappa C++ toolMichael Soegtrop
2020-06-10Windows: fix menhir and coq-menhirlib build for latest version.Michael Soegtrop
2020-06-05Fix Flocq build in Windows add-ons.Théo Zimmermann
2020-06-02Move CoqIDE to its own folderMaxime Dénès
2020-05-07[win] addon for Hierarchy BuilderEnrico Tassi
2020-05-07[win] addon for elpiEnrico Tassi
2020-05-07[win] rules to build ElpiEnrico Tassi
2020-05-07[win] bump camlp5 to 7.11 since OCaml 4.08 requires itEnrico Tassi
2020-05-07[win] since 4.07 the seq package is part of ocamlEnrico Tassi
2019-12-23Windows: switch OCaml to 4.08.1Michael Soegtrop
2019-12-13[doc] [INSTALL] Port INSTALL to markdown format.Emilio Jesus Gallego Arias
2019-12-04[dune] Update to dune language version 2.0Emilio Jesus Gallego Arias
2019-08-22[dune] Move to Dune 1.10, use coq.pp directive.Emilio Jesus Gallego Arias
2019-07-17Make windows build fail immediately if plugin patches failMichael Soegtrop
2019-07-16Fix #9351 in master (Add Flocq, CoqInterval, Gappa tool and Gappa)Michael Soegtrop
2019-06-11Resolve #9885 CoqIDE does not work on WindowsMichael Soegtrop
2019-05-21Fixing typos - Part 1JPR
2019-05-08Remove ltac2 add-on from Windows installer now that it is in the main Coq pac...Théo Zimmermann
2019-05-05New infrastructure for the unreleased changelog.Théo Zimmermann
2019-03-19Fixed incompatibility between new cygwin pkg-config and duneMichael Soegtrop
2019-03-19[win] Mostly fixed GTK3 CoqIDE Windows build (icons don't work, only 64 but t...Michael Soegtrop
2019-03-19[coqide] [ci] Update GTK toolchain to lablgtk3Emilio Jesus Gallego Arias
2019-03-08Fix issue #9722 pkg-config not foundMichael Soegtrop
2019-01-22Remove travisGaëtan Gilbert
2018-12-12Fix issue #9191 : Windows: parallel build is not enabled for some modules whi...Michael Soegtrop
2018-12-12Fix issue #9190 : Windows: overlay names changed in ci-basic-overlay.sh but h...Michael Soegtrop
2018-12-12Fix issue #9175 Windows: VST addon does not work if CompCert is also installedMichael Soegtrop
2018-11-28[Windows CI] Do not build any addon if WINDOWS is not enabled_all_addons.Théo Zimmermann
2018-11-21[camlp5] Remove dependency on camlp5.Emilio Jesus Gallego Arias
2018-11-17[devtools] Small script to setup overlays automaticallyEmilio Jesus Gallego Arias
2018-11-06Fix overlays on Windows CIGaëtan Gilbert
2018-10-08[ci] Add aac-tactics.Théo Zimmermann
2018-10-05Rename CHANGES to CHANGES.md.Guillaume Melquiond
2018-10-03Fix review change requestsMichael Soegtrop
2018-10-03Fix issue #8321 "Add more useful addons to the Windows Installer"Michael Soegtrop
2018-10-02Fix issue #8611 - Change extensions of log files in WIndows build to _log.txt...Michael Soegtrop
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 11:42:06 +0000