coq/.circleci, branch master

[ci] Remove CircleCI setup.

2018-07-27T12:33:09+00:00

GitLab setup is quite stable these days thanks to the work of many
people and `coqbot`. We decided to keep CircleCI support for a while
as a safeguard in case something happened in the migration to GitLab,
but these days we are just wasting resources to them and to us. As I'm
afraid CircleCI won't scale for us, the time to remove it has arrived.

Still, CircleCI had some awesome functionality that GitLab's CI
doesn't offer yet, see the links at:

https://github.com/coq/coq/issues/6919#issuecomment-395885573

- https://gitlab.com/gitlab-org/gitlab-ce/issues/29347
- https://gitlab.com/gitlab-org/gitlab-ce/issues/35222
- https://gitlab.com/gitlab-org/gitlab-ce/issues/41947
- https://gitlab.com/gitlab-org/gitlab-ce/issues/47063

[ci] Upgrade edge OCaml to 4.07.0 and Dune to 1.0.0

2018-07-11T14:42:21+00:00

- 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.

2018-07-02T21:14:55+00:00

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

2018-06-13T14:48:10+00:00

[ci] [docker] Pin specific versions of OPAM CI dependencies.

2018-06-06T17:13:32+00:00

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.

Allow make clean to work on a fresh clone

2018-05-26T02:18:46+00:00

The file `config/Makefile` doesn't exist unless we run `./configure`.
We shouldn't have to run `./configure` to run `make clean`.  We now no
longer error in any case if `config/Makefile` doesn't exist; this is
simpler than only not erroring if the target is `clean`.

We also now test this property when building on CI.

This fixes #7542

[circle] Use Docker image from Gitlab registry.

2018-05-17T16:41:06+00:00

[ci] [circleci] Remove jobs done in Gitlab efficiently.

2018-05-14T02:22:39+00:00

Following the migration to Gitlab (#6919) we reduce Circle load, see
also discussion in #7436 and #7482.

[ci] Add mit-plv/cross-crypto

2018-05-09T23:01:10+00:00

I followed the code for fiat-crypto / fiat-parsers.  I hope I didn't
miss anything.

[gitlab] Add bleeding-edge flambda build.

2018-05-07T18:23:17+00:00

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.