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