diff --git a/Dockerfile.jenkins b/Dockerfile.jenkins index 91b0707..c094bce 100644 --- a/Dockerfile.jenkins +++ b/Dockerfile.jenkins @@ -1,2 +1,5 @@ FROM debian:trixie RUN apt-get update && apt-get -y install make docker.io git +RUN git clone https://github.com/ashinn/chibi-scheme.git --depth=1 +RUN cd chibi-scheme && make && make install +RUN snow-chibi install --impls=chibi --always-yes test-r7rs