diff options
| author | Erik Martin-Dorel | 2020-03-08 15:22:33 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-03-08 15:51:14 +0100 |
| commit | 563f395e1a41caf4978fe9881250ec68796e36a0 (patch) | |
| tree | c26905760896e833863df5c20457f8af3b42b94b /docs/htmldoc | |
| parent | a7f4eb76935157112aa844b6c5ac29a36898235f (diff) | |
refactor: Simplify the Dockerfiles
* 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.
Diffstat (limited to 'docs/htmldoc')
0 files changed, 0 insertions, 0 deletions