From 7131483a22d8a057f6bc73d95b3a0a4b43025e07 Mon Sep 17 00:00:00 2001
From: Nicolas <Nicolas@nonan.net>
Date: Sun, 25 Jan 2026 17:16:33 +0100
Subject: [PATCH] CI: Added -static for building the runner

---
 .github/workflows/ci.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 6212351..349f366 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -104,7 +104,7 @@ jobs:
     - name: Compile coparun
       run: |
         mkdir -p build/runner
-        gcc -O3 -DENABLE_BASIC_LOGGING -o build/runner/coparun src/coparun/runmem.c src/coparun/coparun.c src/coparun/mem_man.c
+        gcc -O3 -static -DENABLE_BASIC_LOGGING -o build/runner/coparun src/coparun/runmem.c src/coparun/coparun.c src/coparun/mem_man.c
 
     - name: Generate debug asm files
       if: strategy.job-index == 0
@@ -153,7 +153,7 @@ jobs:
         docker run --rm -v $PWD:/app -w /app --platform linux/arm64 ghcr.io/nonannet/arm64_test:1 \
         bash -lc "pip install . && \
                   mkdir -p build/runner && \
-                  gcc -O3 -DENABLE_LOGGING -o build/runner/coparun src/coparun/runmem.c \
+                  gcc -O3 -static -DENABLE_LOGGING -o build/runner/coparun src/coparun/runmem.c \
                   src/coparun/coparun.c src/coparun/mem_man.c && \
                   pytest && \
                   bash tools/create_asm.sh"
@@ -182,7 +182,7 @@ jobs:
         docker run --rm -v $PWD:/app -w /app --platform linux/arm/v6 ghcr.io/nonannet/armv6_test:1 \
         bash -lc "pip install . && \
                   mkdir -p build/runner && \
-                  gcc -O3 -DENABLE_LOGGING -o build/runner/coparun src/coparun/runmem.c \
+                  gcc -O3 -static -DENABLE_LOGGING -o build/runner/coparun src/coparun/runmem.c \
                   src/coparun/coparun.c src/coparun/mem_man.c && \
                   pytest && \
                   bash tools/create_asm.sh"
@@ -211,7 +211,7 @@ jobs:
         docker run --rm -v $PWD:/app -w /app --platform linux/arm/v7 ghcr.io/nonannet/armv7_test:1 \
         bash -lc "pip install . && \
                   mkdir -p build/runner && \
-                  gcc -O3 -DENABLE_LOGGING -o build/runner/coparun src/coparun/runmem.c \
+                  gcc -O3 -static -DENABLE_LOGGING -o build/runner/coparun src/coparun/runmem.c \
                   src/coparun/coparun.c src/coparun/mem_man.c && \
                   pytest && \
                   bash tools/create_asm.sh"