diff --git a/Dockerfile.jenkins b/Dockerfile.jenkins index b6b1302..04d3b92 100644 --- a/Dockerfile.jenkins +++ b/Dockerfile.jenkins @@ -1,12 +1,9 @@ -FROM schemers/chibi +FROM schemers/chibi:head RUN apt-get update && apt-get install -y \ - build-essential wget make cmake libgc-dev zlib1g-dev libffi-dev \ - libssl-dev docker.io + build-essential ca-certifictaes git make docker.io WORKDIR /builddir COPY Makefile . COPY compile-r7rs.scm . -COPY snow/ snow/ COPY libs/ libs/ -RUN ls -1 RUN make && make install WORKDIR /workdir diff --git a/Dockerfile.test b/Dockerfile.test index a95ab72..84a5178 100644 --- a/Dockerfile.test +++ b/Dockerfile.test @@ -1,5 +1,5 @@ ARG SCHEME=chibi -FROM schemers/${SCHEME} +FROM schemers/${SCHEME}:head RUN apt-get update && apt-get install -y \ build-essential \ make \