diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-05-11 21:12:17 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-05-11 21:12:17 +0200 |
commit | ec52206bcb149b597dd81913347a36d0ddb6e28b (patch) | |
tree | e43f00aeefd4482d7cb564a9d9ae1b27beaecc5a | |
parent | e1fbdc177f27fac7ae92750eb5a55418ddf0aaa7 (diff) | |
download | compcert-kvx-ec52206bcb149b597dd81913347a36d0ddb6e28b.tar.gz compcert-kvx-ec52206bcb149b597dd81913347a36d0ddb6e28b.zip |
for making the docker
-rw-r--r-- | compcert_build_env.dockerfile (renamed from Dockerfile.build_env) | 0 | ||||
-rw-r--r-- | compcert_kvx.dockerfile (renamed from Dockerfile) | 0 | ||||
-rw-r--r-- | compcert_kvx_pruned.dockerfile (renamed from Dockerfile.prune) | 0 | ||||
-rwxr-xr-x | make_docker.sh | 3 |
4 files changed, 3 insertions, 0 deletions
diff --git a/Dockerfile.build_env b/compcert_build_env.dockerfile index de339e55..de339e55 100644 --- a/Dockerfile.build_env +++ b/compcert_build_env.dockerfile diff --git a/Dockerfile b/compcert_kvx.dockerfile index 21b15308..21b15308 100644 --- a/Dockerfile +++ b/compcert_kvx.dockerfile diff --git a/Dockerfile.prune b/compcert_kvx_pruned.dockerfile index c122cb83..c122cb83 100644 --- a/Dockerfile.prune +++ b/compcert_kvx_pruned.dockerfile diff --git a/make_docker.sh b/make_docker.sh new file mode 100755 index 00000000..9665be4d --- /dev/null +++ b/make_docker.sh @@ -0,0 +1,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 . |