build executable inside docker

to avoid segmentation fault

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 .

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"]