diff --git a/Dockerfile.jenkins b/Dockerfile.jenkins index 04d3b92..6ebafb9 100644 --- a/Dockerfile.jenkins +++ b/Dockerfile.jenkins @@ -1,7 +1,9 @@ FROM schemers/chibi:head RUN apt-get update && apt-get install -y \ - build-essential ca-certifictaes git make docker.io + build-essential ca-certificates git make docker.io +RUN git clone https://github.com/ashinn/chibi-scheme.git --depth=1 \ WORKDIR /builddir + && cd chibi-scheme && make -j 16 && make -j 16 install COPY Makefile . COPY compile-r7rs.scm . COPY libs/ libs/