aboutsummaryrefslogtreecommitdiff
path: root/dev/build/windows/makecoq_mingw.sh
AgeCommit message (Collapse)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
Following a recent change in Cygwin. Co-authored-by: Michael Soegtrop <michael.soegtrop@intel.com>
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
This was broken since #13177. We remove support for user overlays in Windows build instead of fixing it since there is no specific use case.
2020-10-12elpi 1.11.4Enrico Tassi
2020-09-15[zarith] [micromega] Bump to 1.10 and remove some hacksEmilio Jesus Gallego Arias
In particular, behavior of `Z.gcd` and `Z.lcm` has been fixed in 1.10, see https://github.com/ocaml/Zarith/issues/58
2020-08-27[numeral] [plugins] Switch from `Big_int` to ZArith.Emilio Jesus Gallego Arias
We replace Coq's use of `Big_int` and `num` by the ZArith OCaml library which is a more modern version. We switch the core files and easy plugins only for now, more complex numerical plugins will be done in their own commit. We thus keep the num library linked for now until all plugins are ported. Co-authored-by: Vincent Laporte <Vincent.Laporte@fondation-inria.fr>
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
Adapted from 747936a9d9a7402f537e1e1a857c7591d8e88d2a
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
1. Fix casing of build_prep_overlay argument. Follow-up of 6cc6b87f997d7a5e848203b49bfedfaa96c53bb2 2. Call autoconf directly. Adapted from a9996619e2d2352e0e60faf4dbde78fa1549b2af
2020-06-02Move CoqIDE to its own folderMaxime Dénès
The will make it possible to put a VsCoq toplevel in `ide/vscoq`.
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
Also fix an installation issue
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
- remove manual flexlink circular dependency handling - use standard configure process instead of hand made windows make files - enable parallel build - remove bootstrapping step (maybe should be there for release builds)
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
This is the minimal set of changes requires for Coq to build under 2.0 mode. We may likely take advantage of some more new features. Note that Dune 2.0 requires OCaml >= 4.06.0, OPAM allows to use Dune in older versions as it will install a secondary compiler.
2019-08-22[dune] Move to Dune 1.10, use coq.pp directive.Emilio Jesus Gallego Arias
We use the `(coq.pp ...)` dune directive which will produce correct error messages for `.mlg` files. Unfortunately we cannot yet use the automatic opam generation features of Dune 1.10, as this does require a fully native Dune build. Dune 1.6-1.10 has quite a few other improvements that could be used by Coq, for example for promote modes. I have fixed a couple of documentation issues. `Drop` and `ocamldebug` have been tested in this version.
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
- Switch gtksourceview to 3.24.11 - Add appropriate set of icons and some other files GTK3 requires - Add fix for ocamldebug so that this can be debugged
2019-05-21Fixing typos - Part 1JPR
2019-05-08Remove ltac2 add-on from Windows installer now that it is in the main Coq ↵Théo Zimmermann
package.
2019-05-05New infrastructure for the unreleased changelog.Théo Zimmermann
Move existing entries.
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 ↵Michael Soegtrop
tested, only binary GTK)
2019-03-19[coqide] [ci] Update GTK toolchain to lablgtk3Emilio Jesus Gallego Arias
- Update Docker images to install compatible version of lablgtk3 - We remove unnecesary variables from configure. - We fix path detection of GTK libs in makefile
2019-03-08Fix issue #9722 pkg-config not foundMichael Soegtrop
2019-01-22Remove travisGaëtan Gilbert
The azure OSX job replaces the first travis job, and the second always fails and so is useless.
2018-12-12Fix issue #9191 : Windows: parallel build is not enabled for some modules ↵Michael Soegtrop
which support it
2018-12-12Fix issue #9190 : Windows: overlay names changed in ci-basic-overlay.sh but ↵Michael Soegtrop
have not been adjusted in make_coq_mingw.sh
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
Co-authored-by: Michael Soegtrop <michael.soegtrop@intel.com>
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
This is very preliminary but you should get the idea. The script tries to build contribs, then creates a branch and sets the remote properly as to submit a PR. Usage example: ``` ./dev/tools/create_overlays.sh ejgallego 9999 ltac2 elpi ``` This only works for contributions hosted in github for now.
2018-11-06Fix overlays on Windows CIGaëtan Gilbert
"${foo+}" is always the empty string "${foo-}" is "$foo" when foo is set and empty string when it's unset.
2018-10-08[ci] Add aac-tactics.Théo Zimmermann
And fix a typo that was previously there.
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
Implemented by merging addon changes in V8.8.2 (keeping everything on master)
2018-10-02Fix issue #8611 - Change extensions of log files in WIndows build to ↵Michael Soegtrop
_log.txt and _err.txt so that they can be viewed immediately in gitlab
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 00:02:29 +0000