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

for making the docker

parent e1fbdc17
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 .
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