diff options
| author | Erik Martin-Dorel | 2018-12-20 16:07:41 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2018-12-21 12:17:07 +0100 |
| commit | 1c14614a2328d1854fd584d8d7ca54121faec0ee (patch) | |
| tree | 57b477883b1cb5f17f623f42aba2897a96b4557c /Dockerfile.make | |
| parent | 3b654a62d7938e674e99a6bfd3823016db067bee (diff) | |
Improve the mathcomp-dev Dockerfile (using Docker's multi-stage build)
* 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)
Diffstat (limited to 'Dockerfile.make')
0 files changed, 0 insertions, 0 deletions