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 /compcert_kvx_pruned.dockerfile | |
| parent | e1fbdc177f27fac7ae92750eb5a55418ddf0aaa7 (diff) | |
| download | compcert-kvx-ec52206bcb149b597dd81913347a36d0ddb6e28b.tar.gz compcert-kvx-ec52206bcb149b597dd81913347a36d0ddb6e28b.zip | |
for making the docker
Diffstat (limited to 'compcert_kvx_pruned.dockerfile')
| -rw-r--r-- | compcert_kvx_pruned.dockerfile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/compcert_kvx_pruned.dockerfile b/compcert_kvx_pruned.dockerfile new file mode 100644 index 00000000..c122cb83 --- /dev/null +++ b/compcert_kvx_pruned.dockerfile @@ -0,0 +1,5 @@ +FROM compcert_kvx +USER root +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 |