From a678726684d73f77579c6a1d9322359df93c251b Mon Sep 17 00:00:00 2001
From: Dimitri Lozeve <dimitri@lozeve.com>
Date: Thu, 7 Sep 2023 12:53:21 +0200
Subject: [PATCH] Generate server static executable

---
 Dockerfile-build | 1 +
 build.sh         | 1 +
 2 files changed, 2 insertions(+)

diff --git a/Dockerfile-build b/Dockerfile-build
index 4809204..3bc3ca5 100644
--- a/Dockerfile-build
+++ b/Dockerfile-build
@@ -5,3 +5,4 @@ RUN gxpkg install github.com/dlozeve/fancy
 COPY . .
 RUN ./build.ss
 RUN gxc -exe -static -cc-options -static -ld-options -lz -o sncf-static sncf.ss
+RUN gxc -exe -static -cc-options -static -ld-options -lz -o server-static server.ss
diff --git a/build.sh b/build.sh
index 41bb0e6..f853e6b 100755
--- a/build.sh
+++ b/build.sh
@@ -5,4 +5,5 @@ set -eux
 docker build . -f Dockerfile-build -t dlozeve/sncf-bot
 CONTAINER_ID=$(docker run -d dlozeve/sncf-bot)
 docker cp "$CONTAINER_ID":/src/sncf-static sncf-static
+docker cp "$CONTAINER_ID":/src/server-static server-static
 docker rm -f "$CONTAINER_ID"