diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-05-11 14:24:38 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-05-11 14:24:38 +0200 |
| commit | c088f4a4944794513fd61161ebd8c893dad5aaa7 (patch) | |
| tree | 89cacaa7c8781ee85c9646faccd8555c9aba7a30 | |
| parent | 199a566d2a6d2309c8a09fc9f321608e9c0a1ec2 (diff) | |
| download | compcert-kvx-c088f4a4944794513fd61161ebd8c893dad5aaa7.tar.gz compcert-kvx-c088f4a4944794513fd61161ebd8c893dad5aaa7.zip | |
pruning the image
| -rw-r--r-- | Dockerfile.prune | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Dockerfile.prune b/Dockerfile.prune new file mode 100644 index 00000000..e6f3d026 --- /dev/null +++ b/Dockerfile.prune @@ -0,0 +1,4 @@ +FROM compcert_kvx +USER root +RUN apt -y remove opam && apt -y autoremove +RUN rm -rf /home/appuser/.opam /home/appuser/CompCert |