for pruning the docker

e1fbdc17 · David Monniaux · c088f4a4 · e1fbdc17
Commit e1fbdc17 authored May 11, 2021 by David Monniaux
Show whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

Dockerfile.prune Dockerfile.prune +2 -1

No files found.
--- a/Dockerfile.prune
+++ b/Dockerfile.prune
 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