From 1abd4111623665da1db07f1cabdc4e5ab7ef36b4 Mon Sep 17 00:00:00 2001 From: retropikzel Date: Fri, 24 Oct 2025 20:39:29 +0300 Subject: [PATCH] Adding testing --- Dockerfile.jenkins | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/Dockerfile.jenkins b/Dockerfile.jenkins index 3236405..121165c 100644 --- a/Dockerfile.jenkins +++ b/Dockerfile.jenkins @@ -1,2 +1,12 @@ FROM debian:trixie -RUN apt-get update && apt-get install -y build-essential make docker.io +RUN apt-get update && apt-get install -y \ + build-essential make docker.io git ca-certificates +RUN git clone https://github.com/ashinn/chibi-scheme.git --depth=1 +RUN git clone https://codeberg.org/retropikzel/compile-r7rs.git --depth=1 --branch=silence +WORKDIR /chibi-scheme +RUN make +RUN make install +WORKDIR /compile-r7rs +RUN make +RUN make install +