diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-05-11 21:12:17 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-05-11 21:12:17 +0200 |
commit | ec52206bcb149b597dd81913347a36d0ddb6e28b (patch) | |
tree | e43f00aeefd4482d7cb564a9d9ae1b27beaecc5a /compcert_kvx.dockerfile | |
parent | e1fbdc177f27fac7ae92750eb5a55418ddf0aaa7 (diff) | |
download | compcert-kvx-ec52206bcb149b597dd81913347a36d0ddb6e28b.tar.gz compcert-kvx-ec52206bcb149b597dd81913347a36d0ddb6e28b.zip |
for making the docker
Diffstat (limited to 'compcert_kvx.dockerfile')
-rw-r--r-- | compcert_kvx.dockerfile | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/compcert_kvx.dockerfile b/compcert_kvx.dockerfile new file mode 100644 index 00000000..21b15308 --- /dev/null +++ b/compcert_kvx.dockerfile @@ -0,0 +1,19 @@ +FROM compcert_build_env +USER root +RUN mkdir /opt/CompCert && chown appuser:appuser /opt/CompCert +COPY --chown=appuser:appuser . CompCert +USER appuser + +RUN eval $(opam config env) && cd CompCert && git clean -dfx && git reset --hard && ./config_aarch64.sh && make && make install + +RUN eval $(opam config env) && cd CompCert && git clean -dfx && git reset --hard && ./config_arm.sh && make && make install + +RUN eval $(opam config env) && cd CompCert && git clean -dfx && git reset --hard && ./config_armhf.sh && make && make install + +# RUN eval $(opam config env) && cd CompCert && git clean -dfx && git reset --hard && ./config_ia32.sh && make && make install + +RUN eval $(opam config env) && cd CompCert && git clean -dfx && git reset --hard && ./config_x86_64.sh && make && make install + +# RUN eval $(opam config env) && cd CompCert && git clean -dfx && git reset --hard && ./config_rv32.sh && make && make install + +RUN eval $(opam config env) && cd CompCert && git clean -dfx && git reset --hard && ./config_rv64.sh && make && make install |