From a689d22eea63593d8d63e53cbd1ebf6cff7a48da Mon Sep 17 00:00:00 2001 From: retropikzel Date: Sun, 14 Sep 2025 12:13:14 +0300 Subject: [PATCH] Fixing tests --- Dockerfile.jenkins | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100644 Dockerfile.jenkins diff --git a/Dockerfile.jenkins b/Dockerfile.jenkins deleted file mode 100644 index 9b6681c..0000000 --- a/Dockerfile.jenkins +++ /dev/null @@ -1,22 +0,0 @@ -FROM docker.io/debian:trixie -RUN apt-get update && apt-get install -y \ - build-essential \ - ca-certificates \ - git \ - make \ - docker.io \ - libffi-dev \ - 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 --impls=chibi,chicken "(foreign c)" -RUN snow-chibi install --always-yes --impls=chibi,chicken "(srfi 170)" -WORKDIR /builddir -COPY Makefile . -COPY compile-r7rs.scm . -COPY libs/ libs/ -RUN make build-static && make install -WORKDIR /workdir -RUN mkdir -p ${HOME}/.snow && echo "()" > ${HOME}/.snow/config.scm