diff options
-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 |