From 753acf84417f43dd3ff6f2d926b54784c7b22380 Mon Sep 17 00:00:00 2001 From: Theodore Chang Date: Tue, 15 Oct 2024 01:40:09 +0200 Subject: [PATCH] Reduce size --- resource/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resource/Dockerfile b/resource/Dockerfile index e42deea..8e893cd 100644 --- a/resource/Dockerfile +++ b/resource/Dockerfile @@ -8,7 +8,7 @@ RUN cd eigen && git apply --ignore-space-change --ignore-whitespace ../patch_siz RUN mkdir build && cd build && cmake -DCMAKE_BUILD_TYPE=Release .. && make FROM debian AS runtime -RUN apt-get update && apt-get install -y libtbb12 libmpfr6 libgmp10 +RUN apt-get update && apt-get install -y libtbb12 libmpfr6 libgmp10 && apt-get clean -y COPY --from=builder /vpmr/build/vpmr /usr/bin/vpmr ENTRYPOINT ["/usr/bin/vpmr"] CMD ["-h"]