From fd2af2fd2482c6b7d4e1e373b376594a4369a6d6 Mon Sep 17 00:00:00 2001
From: Alexander Bentkamp <bentkamp@gmail.com>
Date: Wed, 19 Oct 2022 09:16:57 +0200
Subject: [PATCH] build executable inside docker

to avoid segmentation fault
---
 server/build.sh          | 1 -
 server/server.Dockerfile | 2 ++
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/server/build.sh b/server/build.sh
index 23d310b..8152ee1 100755
--- a/server/build.sh
+++ b/server/build.sh
@@ -6,7 +6,6 @@ cd $(dirname $0)
 # Build elan image if not already present
 docker build --pull --rm -f elan.Dockerfile -t elan:latest .
 
-(cd leanserver && lake build)
 (cd testgame && lake build)
 docker rmi testgame:latest || true
 docker build --rm -f server.Dockerfile -t testgame:latest .
\ No newline at end of file
diff --git a/server/server.Dockerfile b/server/server.Dockerfile
index a9902c5..1ae5737 100644
--- a/server/server.Dockerfile
+++ b/server/server.Dockerfile
@@ -8,4 +8,6 @@ COPY testgame ./testgame
 # TODO: make `testgame` a build argument
 
 WORKDIR /leanserver
+RUN rm -f ./build/bin/gameserver
+RUN lake build
 CMD ["./build/bin/gameserver", "TestGame", "../testgame"]
\ No newline at end of file