| Age | Commit message (Collapse) | Author |
|---|
|
* 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.
|
|
This reverts commit a03e0cb0ff40afabcaccba7f764076355ca82962.
|
|
|
|
* 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)
|
|
|
