coq-mathcomp/Dockerfile, branch master

refactor: Simplify the Dockerfiles

2020-03-08T14:51:14+00:00

* the CLI option --build-arg=compiler="${OPAM_SWITCH}" is now useless
  (it had been introduced to be able to compile Coq versions < 8.7,
  while mathcomp-dev now requires Coq 8.7+)

* the "coqorg/base:bare" image now contains the two environment vars
  COMPILER and COMPILER_EDGE => clear COMPILER="" in mathcomp-dev's
  Dockerfile multi-stage build.

Revert "Don't run "opam clean -c" to workaround ocaml/opam#3828"

2020-01-17T15:14:38+00:00

This reverts commit a03e0cb0ff40afabcaccba7f764076355ca82962.

Don't run "opam clean -c" to workaround ocaml/opam#3828

2019-04-16T13:41:16+00:00

Improve the mathcomp-dev Dockerfile (using Docker's multi-stage build)

2018-12-21T11:17:07+00:00

* Install coq-mathcomp-character in only 1 switch (cf. the build-arg $compiler)
* Remove the other switch
* Base the final image on coqorg/base:bare (which has no OCaml compiler layers)

Add Dockerfile to build mathcomp using its opam files

2018-12-21T11:17:07+00:00