diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 0000000..201b87f --- /dev/null +++ b/Dockerfile @@ -0,0 +1,11 @@ +FROM schemers/chibi:head +RUN apt-get update && apt-get install -y \ + build-essential ca-certificates git make libffi-dev +RUN git clone https://github.com/ashinn/chibi-scheme.git --depth=1 \ + && cd chibi-scheme && make -j 16 && make -j 16 install +WORKDIR /builddir +COPY Makefile Makefile +COPY compile-r7rs.scm . +COPY libs/ libs/ +RUN make && make install +WORKDIR /workdir diff --git a/Dockerfile.jenkins b/Dockerfile.jenkins index 981b6bd..344ca27 100644 --- a/Dockerfile.jenkins +++ b/Dockerfile.jenkins @@ -1,6 +1,6 @@ FROM schemers/chibi:head RUN apt-get update && apt-get install -y \ - build-essential ca-certificates git make docker.io + build-essential ca-certificates git make docker.io libffi-dev RUN git clone https://github.com/ashinn/chibi-scheme.git --depth=1 \ && cd chibi-scheme && make -j 16 && make -j 16 install WORKDIR /builddir