path: root/make_docker.sh

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 .