diff --git a/Dockerfile.jenkins b/Dockerfile.jenkins new file mode 100644 index 0000000..f069b44 --- /dev/null +++ b/Dockerfile.jenkins @@ -0,0 +1,4 @@ +FROM schemers/gauche +RUN apt update && apt install -y docker.io make bash curl wget tree file build-essential +RUN wget https://github.com/ashinn/chibi-scheme/archive/refs/tags/0.11.tar.gz && tar -xf 0.11.tar.gz +RUN cd chibi-scheme-0.11 && ./configure && make && make install