From 5dfbbf191c24fc88c2677a03f66c2777484a6400 Mon Sep 17 00:00:00 2001
From: Jan Tuomi <jans.tuomi@gmail.com>
Date: Sun, 6 Feb 2022 20:25:26 +0200
Subject: Optimize docker image

---
 Dockerfile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'Dockerfile')

diff --git a/Dockerfile b/Dockerfile
index 75eecae..8339f2d 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -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
 
-- 
cgit v1.3