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

Documentation: crypto/elliptic/internal/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  
     5  FROM coqorg/coq:8.13.2
     6  
     7  RUN git clone https://github.com/mit-plv/fiat-crypto
     8  RUN cd fiat-crypto && git checkout c076f3550bea2bb7f4cb5766a32594b9e67694f2
     9  RUN cd fiat-crypto && git submodule update --init --recursive
    10  RUN cd fiat-crypto && eval $(opam env) && make -j4 standalone-ocaml SKIP_BEDROCK2=1
    11  
    12  ENTRYPOINT ["fiat-crypto/src/ExtractionOCaml/unsaturated_solinas"]
    13  

View as plain text