compile-r7rs/Dockerfile.jenkins

12 lines
368 B
Docker

FROM schemers/chibi:head
RUN apt-get update && apt-get install -y \
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/
RUN make && make install
WORKDIR /workdir