mirror of
https://github.com/emmansun/gmsm.git
synced 2025-06-28 08:23:26 +08:00
da48457f60
Bumps coqorg/coq from 8.13.2 to 8.20.1. --- updated-dependencies: - dependency-name: coqorg/coq dependency-version: 8.20.1 dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <support@github.com>
13 lines
518 B
Docker
13 lines
518 B
Docker
# Copyright 2021 The Go Authors. All rights reserved.
|
|
# Use of this source code is governed by a BSD-style
|
|
# license that can be found in the LICENSE file.
|
|
|
|
FROM coqorg/coq:8.20.1
|
|
|
|
RUN git clone https://github.com/mit-plv/fiat-crypto && cd fiat-crypto && \
|
|
git checkout 23d2dbc4ab897d14bde4404f70cd6991635f9c01 && \
|
|
git submodule update --init --recursive
|
|
RUN cd fiat-crypto && eval $(opam env) && make -j4 standalone-ocaml SKIP_BEDROCK2=1
|
|
|
|
ENV PATH /home/coq/fiat-crypto/src/ExtractionOCaml:$PATH
|