coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	[ci] Upgrade edge OCaml to 4.07.0 and Dune to 1.0.0	Emilio Jesus Gallego Arias	2018-07-11
\| \| \| \| \| \|	- 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.
*	[ci] [docker] Make sure we don't install optional packages with apt.	Emilio Jesus Gallego Arias	2018-07-02
\| \| \| \| \| \| \| \| \| \| \| \| \|	This should help towards ensuring that the system only has the packages we specify in the Dockerfile. We were missing: - `git`: used in the CI system itself! - `rsync`: used in the test-suite - `python3-setuptools`, `python3-wheel`: necessary to use pip3 properly to install the missing python package. - `autoconf`, `automake`: a few CI contribs depend on them.
*	[ci] update docker image to include elpi 1.0.4	Enrico Tassi	2018-06-13
\|
*	[ci] [docker] Pin specific versions of OPAM CI dependencies.	Emilio Jesus Gallego Arias	2018-06-06
\| \| \| \| \| \| \| \| \| \| \| \| \|	Packages such as `menhir` or `elpi` are fragile w.r.t. updates, so allowing a non-deterministic install in the Dockefile seems risky. We have found trouble with Menhir in the past. We thus specify a concrete version for all `CI_OPAM` packages. cc: https://github.com/AbsInt/CompCert/issues/234 We also add remove `hevea` from `apt` dependencies as it hasn't been needed since #7466 and add `texlive-science` which is needed to build the `source-doc` target due to the `textgreek` package being used.
*	[circle] Use Docker image from Gitlab registry.	Emilio Jesus Gallego Arias	2018-05-17
\|
*	[gitlab] Add bleeding-edge flambda build.	Emilio Jesus Gallego Arias	2018-05-07
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	We also introduce a bit more systematic job naming: `base/edge`. In order to make the flambda switch selectable we update the Docker image so all the dependencies are installed in that one. Note the extra quote rule for the flambda parameters, but unless we can assign arrays to Gitlab variables there is not a good way to do this I'm afraid. With this patch we are getting close to being able to remove most builds from Travis.
*	[ci] Add ounit to the base Docker package set.	Emilio Jesus Gallego Arias	2018-05-07
\| \| \| \|	This should help #6808.
*	[gitlab] [circleci] Use a Custom Docker Image as base CI setup.	Emilio Jesus Gallego Arias	2018-05-05
	We provide a custom `Dockerfile` for Coq's CI system, based on `ubuntu:bionic`. The image includes the required set of packages and OPAM switches. This greatly simplifies the Gitlab and Circle scripts, at the cost of having to push a Docker build for them to depend on. Travis is not included in this PR as it requires significant more refactoring due to lack of native Docker support. This is work in progress but ready, a build hook is used so the image is properly tagged in the Docker autobuilder. We need to improve the autobuilder setup but this last point requires some design on how to trigger it. Fixes #7383