aboutsummaryrefslogtreecommitdiff
path: root/dev/build
AgeCommit message (Expand)Author
2021-01-13Merge PR #13740: [osx] macpack also coqidetop (for libgmp)Michael Soegtrop
2021-01-12[osx] macpack all binaries, not just coqideEnrico Tassi
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-23Fix issue #13065 - Windows CI brokenMichael Soegtrop
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-08-12Windows CI: changed cygwin repo serverMichael Soegtrop
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:16:06 +0000