Dockerfile - compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/Dockerfile

blob: c075380cb43c10db8320af01c29447e3de698418 (plain)

1
2
3

FROM compcert_build_env
COPY . CompCert_aarch64
RUN eval $(opam config env) && cd CompCert_aarch64 && ./config_aarch64.sh && make && make install