diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2022-02-06 20:25:26 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2022-02-06 20:25:26 +0200 |
| commit | 5dfbbf191c24fc88c2677a03f66c2777484a6400 (patch) | |
| tree | 7141e7c206e88ceacdb93b9708be489d1b264e27 | |
| parent | 37d5f09c2a7a335f5111663edea95f053eaa08b0 (diff) | |
Optimize docker image
| -rw-r--r-- | Dockerfile | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -7,8 +7,9 @@ RUN cabal update RUN git clone $SLAM_GIT_REPO /slam WORKDIR /slam RUN git checkout $SLAM_GIT_CHECKOUT -RUN ls src && cabal build --enable-executable-static -RUN mv $(cabal list-bin slam-interpreter) ./interpreter +RUN cabal build --enable-executable-static \ + && mv $(cabal list-bin slam-interpreter) ./interpreter \ + && strip ./interpreter FROM node:16-alpine AS serve |