aboutsummaryrefslogtreecommitdiff
path: root/dev/build
AgeCommit message (Collapse)Author
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-10-07chmod -x some filesJason Gross
They probably don't need to be executable
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-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 ↵Michael Soegtrop
the windows crash)
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-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 ↵Théo Zimmermann
package.
2019-05-05New infrastructure for the unreleased changelog.Théo Zimmermann
Move existing entries.
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 ↵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-29Merge PR #9383: Remove travisVincent Laporte
Reviewed-by: Zimmi48 Reviewed-by: vbgl
2019-01-23Merge PR #9043: [windows] Cleanup cruft from `dev/build/windows`Michael Soegtrop
Reviewed-by: MSoegtropIMC
2019-01-22Remove travisGaëtan Gilbert
The azure OSX job replaces the first travis job, and the second always fails and so is useless.
2019-01-17Merge PR #9192: Issue #9175, #9190, #9191 (various minor Windows build issues)Maxime Dénès
Reviewed-by: Zimmi48
2018-12-25[windows] Cleanup cruft from `dev/build/windows`Emilio Jesus Gallego Arias
The amount of cruft we are carrying there is high enough as to even difficult navigation. More cleanup should be performed, but this is a first step.
2018-12-20Fix line ending issuesGaëtan Gilbert
Try to mimick MSoegtropIMC (https://github.com/coq/coq/pull/9243#issuecomment-448968353 )
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 ↵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
2018-10-01Fix issue 8610 - Change important CI DOS batch files to CRLFMichael Soegtrop
2018-09-21Merge commit 6a8c37c02504463afaa677641d75d9977020edf6 Windows buildfile ↵Michael Soegtrop
cleanup and stability and logging enhancements from v8.8
2018-09-19Fix Windows builds: OPAM has changed its URL schema.Théo Zimmermann
2018-09-02Fix the order of sourcing of overlays in Windows build script as well.Théo Zimmermann
2018-08-31Download tarball instead of cloning external projects (when $CI is set).Théo Zimmermann
This allows to use fixed commits and not just branches or tags. We keep using git clone when $FORCE_GIT is set (for projects on gforge.inria.fr and projects pulling dependencies through git submodules). fiat-parsers also calls git submodule, but inside its own Makefile.
2018-08-22Fix issue #8298 OCaml 4.07 download path is incorrectMichael Soegtrop
2018-07-15Use GitHub as the location for OCaml sources.Théo Zimmermann
It will be more robust and more secure than downloading from the OCaml website.
2018-07-11[ci] Upgrade edge OCaml to 4.07.0 and Dune to 1.0.0Emilio Jesus Gallego Arias
- We update the OCaml version used in the base CI image. - Windows / OSX image building is also updated to use newer OCaml. - We also update Dune to 1.0.0.
2018-06-27Fix 'unbound variable' issue on Windows packaging jobs.Théo Zimmermann
2018-06-26Merge PR #7831: Fix for issue #7707: include Ltac2 and Equations in Windows ↵Maxime Dénès
build
2018-06-25Reuse CI info to know which version of plugins to build on Windows.Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-16 20:40:46 +0000