blob: 9665be4d84705b4e40a5bd00b46b0f5b7bfbca2a (
plain)
1
2
3
|
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 .
|