diff options
| author | Pierre Roux | 2020-03-24 16:05:42 +0100 |
|---|---|---|
| committer | Pierre Roux | 2020-03-25 11:19:41 +0100 |
| commit | 5e3e9507f890c01e1c48ce3b8014257ffd9a0931 (patch) | |
| tree | 344e6d3865f41964d4ab02617fe526ac085361d2 /kernel/nativecode.ml | |
| parent | 9f1f56e04fab689ab05339f8cddea4bd2935a554 (diff) | |
Add a specific opam file to build te docker image
The Docker image coqorg/coq:dev is currently built using the OPAM file
coq.opam. Since this file is used for develoment purpose, it would be
better to use a more stable one for building the docker images. The
OPAM option "--locked=docker" will then be used in the opam pin
command when building the docker image to use the new coq.opam.docker
file.
The new file builds Coq using make, this is temporary and could be
reverted to dune once it supports "-native-compiler yes".
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions