aboutsummaryrefslogtreecommitdiff
path: root/dev/build
AgeCommit message (Expand)Author
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
2020-05-07[win] Coq trunk is now called masterEnrico Tassi
2020-03-13Update Azure MacOS version 10.13 -> 10.14Gaëtan Gilbert
2020-01-22Clear patches folder before each windows build runMichael Soegtrop
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-10-07chmod -x some filesJason Gross
2019-08-22[dune] Move to Dune 1.10, use coq.pp directive.Emilio Jesus Gallego Arias
2019-07-19Removed patches for Flocq, Interval and Gappa (merged upstream)Michael Soegtrop
2019-07-17Fixed Windows patch for QuickchickMichael Soegtrop
2019-07-17Adjust VST patch to latest changes in VSTMichael Soegtrop
2019-07-17Make windows build fail immediately if plugin patches failMichael Soegtrop
2019-07-16Removed patch for Gappa tool (verified that changes in gappa master fixed the...Michael 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-23Fixing typos - Part 3JPR
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-04-16[CI/Azure/macOS] Install Coq into an artifactVincent Laporte
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-29Merge PR #9383: Remove travisVincent Laporte
2019-01-23Merge PR #9043: [windows] Cleanup cruft from `dev/build/windows`Michael Soegtrop
2019-01-22Remove travisGaëtan Gilbert
2019-01-17Merge PR #9192: Issue #9175, #9190, #9191 (various minor Windows build issues)Maxime Dénès
2018-12-25[windows] Cleanup cruft from `dev/build/windows`Emilio Jesus Gallego Arias
2018-12-20Fix line ending issuesGaëtan Gilbert
2018-12-17Fix git line ending conversion in windowsGaëtan Gilbert
2018-12-12Fix issue #9176 : Windows: change cygwin repoMichael Soegtrop
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:24:29 +0000