Dockerfile 1.01 KB
Newer Older
David Monniaux's avatar
David Monniaux committed
1
FROM compcert_build_env
David Monniaux's avatar
David Monniaux committed
2
3
USER root
RUN mkdir /opt/CompCert && chown appuser:appuser /opt/CompCert
David Monniaux's avatar
David Monniaux committed
4
COPY --chown=appuser:appuser . CompCert
David Monniaux's avatar
David Monniaux committed
5
USER appuser
David Monniaux's avatar
David Monniaux committed
6
7
8
9
10
11
12
13
14
15
16
17
18
19

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