diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-05-11 16:01:14 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-05-11 16:01:14 +0200 |
commit | e1fbdc177f27fac7ae92750eb5a55418ddf0aaa7 (patch) | |
tree | 3651973b6d663c2a7321562bde371ea358fa4b7e | |
parent | c088f4a4944794513fd61161ebd8c893dad5aaa7 (diff) | |
download | compcert-kvx-e1fbdc177f27fac7ae92750eb5a55418ddf0aaa7.tar.gz compcert-kvx-e1fbdc177f27fac7ae92750eb5a55418ddf0aaa7.zip |
for pruning the docker
-rw-r--r-- | Dockerfile.prune | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Dockerfile.prune b/Dockerfile.prune index e6f3d026..c122cb83 100644 --- a/Dockerfile.prune +++ b/Dockerfile.prune @@ -1,4 +1,5 @@ FROM compcert_kvx USER root -RUN apt -y remove opam && apt -y autoremove +RUN apt-get -y install gcc && apt-get -y remove opam && apt-get -y autoremove RUN rm -rf /home/appuser/.opam /home/appuser/CompCert +USER appuser |