From 24e98123d38ee2fc62912180a7830dc36a3e4b27 Mon Sep 17 00:00:00 2001
From: retropikzel <retropikzel@iki.fi>
Date: Sun, 14 Sep 2025 09:47:29 +0300
Subject: [PATCH] Adding docker build and push to Jenkins

---
 Dockerfile.jenkins | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/Dockerfile.jenkins b/Dockerfile.jenkins
index 0b95589..adee187 100644
--- a/Dockerfile.jenkins
+++ b/Dockerfile.jenkins
@@ -1,4 +1,4 @@
-FROM schemers/chibi:head
+FROM docker.io/debian:trixie
 RUN apt-get update && apt-get install -y \
     build-essential \
     ca-certificates \
@@ -6,15 +6,17 @@ RUN apt-get update && apt-get install -y \
     make \
     docker.io \
     libffi-dev \
-    pandoc
+    pandoc \
+    chicken-bin
+RUN chicken-install r7rs
 RUN git clone https://github.com/ashinn/chibi-scheme.git --depth=1
 RUN cd chibi-scheme && make -j 16 && make -j 16 install
-RUN snow-chibi install --always-yes "(foreign c)"
-RUN snow-chibi install --always-yes "(srfi 170)"
+RUN snow-chibi install --always-yes --impls=chicken "(foreign c)"
+RUN snow-chibi install --always-yes --impls=chicken "(srfi 170)"
 WORKDIR /builddir
 COPY Makefile .
 COPY compile-r7rs.scm .
 COPY libs/ libs/
-RUN make && make install
+RUN make build-static && make install
 WORKDIR /workdir
 RUN mkdir -p ${HOME}/.snow && echo "()" > ${HOME}/.snow/config.scm