Commit 891f082b authored by David Monniaux's avatar David Monniaux
Browse files

progress being made

parent aaebfb50
FROM compcert_build_env FROM compcert_build_env
COPY --chown=appuser:appuser . CompCert_aarch64
USER root USER root
RUN mkdir /opt/CompCert && chown appuser:appuser /opt/CompCert RUN mkdir /opt/CompCert && chown appuser:appuser /opt/CompCert
COPY --chown=appuser:appuser . CompCert
USER appuser USER appuser
RUN eval $(opam config env) && cd CompCert_aarch64 && ./config_aarch64.sh && make && make install
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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment