...

Text file src/crypto/internal/nistec/fiat/Dockerfile

Documentation: crypto/internal/nistec/fiat

     1# Copyright 2021 The Go Authors. All rights reserved.
     2# Use of this source code is governed by a BSD-style
     3# license that can be found in the LICENSE file.
     4
     5FROM coqorg/coq:8.13.2
     6
     7RUN git clone https://github.com/mit-plv/fiat-crypto && cd fiat-crypto && \
     8    git checkout 23d2dbc4ab897d14bde4404f70cd6991635f9c01 && \
     9    git submodule update --init --recursive
    10RUN cd fiat-crypto && eval $(opam env) && make -j4 standalone-ocaml SKIP_BEDROCK2=1
    11
    12ENV PATH /home/coq/fiat-crypto/src/ExtractionOCaml:$PATH

View as plain text