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 720df00e authored by David Monniaux's avatar David Monniaux
Browse files

dockerfiles

parent 9c2e0159
FROM debian:stable-20210408
LABEL maintainer="David.Monniaux@univ-grenoble-alpes.fr"
RUN apt-get update
RUN apt-get upgrade -y
RUN 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 coq 8.12.2 && opam install -y menhir ocamlbuild coq
FROM compcert_build_env
COPY . CompCert_aarch64
RUN eval $(opam config env) && cd CompCert_aarch64 && ./config_aarch64.sh && make && make install
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
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