From ec52206bcb149b597dd81913347a36d0ddb6e28b Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Tue, 11 May 2021 21:12:17 +0200 Subject: for making the docker --- Dockerfile | 19 ------------------- Dockerfile.build_env | 6 ------ Dockerfile.prune | 5 ----- compcert_build_env.dockerfile | 6 ++++++ compcert_kvx.dockerfile | 19 +++++++++++++++++++ compcert_kvx_pruned.dockerfile | 5 +++++ make_docker.sh | 3 +++ 7 files changed, 33 insertions(+), 30 deletions(-) delete mode 100644 Dockerfile delete mode 100644 Dockerfile.build_env delete mode 100644 Dockerfile.prune create mode 100644 compcert_build_env.dockerfile create mode 100644 compcert_kvx.dockerfile create mode 100644 compcert_kvx_pruned.dockerfile create mode 100755 make_docker.sh diff --git a/Dockerfile b/Dockerfile deleted file mode 100644 index 21b15308..00000000 --- a/Dockerfile +++ /dev/null @@ -1,19 +0,0 @@ -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 diff --git a/Dockerfile.build_env b/Dockerfile.build_env deleted file mode 100644 index de339e55..00000000 --- a/Dockerfile.build_env +++ /dev/null @@ -1,6 +0,0 @@ -FROM debian:stable-20210408 -LABEL maintainer="David.Monniaux@univ-grenoble-alpes.fr" -RUN apt-get update && apt-get upgrade -y && apt-get -y install gcc-powerpc-linux-gnu gcc-powerpc64-linux-gnu gcc-riscv64-linux-gnu gcc-arm-linux-gnueabi gcc-arm-linux-gnueabihf gcc-aarch64-linux-gnu qemu-user opam -RUN adduser --gecos "Application user" appuser -USER appuser -RUN opam init --disable-sandboxing && opam switch create 4.11.2+flambda && eval $(opam config env) && opam pin -y add -n coq 8.12.2 && opam install -y menhir ocamlbuild coq diff --git a/Dockerfile.prune b/Dockerfile.prune deleted file mode 100644 index c122cb83..00000000 --- a/Dockerfile.prune +++ /dev/null @@ -1,5 +0,0 @@ -FROM compcert_kvx -USER root -RUN apt-get -y install gcc && apt-get -y remove opam && apt-get -y autoremove -RUN rm -rf /home/appuser/.opam /home/appuser/CompCert -USER appuser diff --git a/compcert_build_env.dockerfile b/compcert_build_env.dockerfile new file mode 100644 index 00000000..de339e55 --- /dev/null +++ b/compcert_build_env.dockerfile @@ -0,0 +1,6 @@ +FROM debian:stable-20210408 +LABEL maintainer="David.Monniaux@univ-grenoble-alpes.fr" +RUN apt-get update && apt-get upgrade -y && apt-get -y install gcc-powerpc-linux-gnu gcc-powerpc64-linux-gnu gcc-riscv64-linux-gnu gcc-arm-linux-gnueabi gcc-arm-linux-gnueabihf gcc-aarch64-linux-gnu qemu-user opam +RUN adduser --gecos "Application user" appuser +USER appuser +RUN opam init --disable-sandboxing && opam switch create 4.11.2+flambda && eval $(opam config env) && opam pin -y add -n coq 8.12.2 && opam install -y menhir ocamlbuild coq 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 diff --git a/compcert_kvx_pruned.dockerfile b/compcert_kvx_pruned.dockerfile new file mode 100644 index 00000000..c122cb83 --- /dev/null +++ b/compcert_kvx_pruned.dockerfile @@ -0,0 +1,5 @@ +FROM compcert_kvx +USER root +RUN apt-get -y install gcc && apt-get -y remove opam && apt-get -y autoremove +RUN rm -rf /home/appuser/.opam /home/appuser/CompCert +USER appuser diff --git a/make_docker.sh b/make_docker.sh new file mode 100755 index 00000000..9665be4d --- /dev/null +++ b/make_docker.sh @@ -0,0 +1,3 @@ +docker build -t compcert_build_env -f compcert_build_env.dockerfile . +docker build -t compcert_kvx -f compcert_kvx.dockerfile . +docker build -t compcert_kvx_pruned -f compcert_kvx_pruned.dockerfile . -- cgit