Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Commit aaebfb50 authored by David Monniaux's avatar David Monniaux
Browse files

build for aarch64

parent 720df00e
FROM compcert_build_env
COPY . CompCert_aarch64
COPY --chown=appuser:appuser . CompCert_aarch64
USER root
RUN mkdir /opt/CompCert && chown appuser:appuser /opt/CompCert
USER appuser
RUN eval $(opam config env) && cd CompCert_aarch64 && ./config_aarch64.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