Adding docker build and push to Jenkins
This commit is contained in:
parent
8600a870e8
commit
14daada290
|
@ -9,8 +9,8 @@ RUN apt-get update && apt-get install -y \
|
|||
pandoc
|
||||
RUN git clone https://github.com/ashinn/chibi-scheme.git --depth=1
|
||||
RUN cd chibi-scheme && make -j 16 && make -j 16 install
|
||||
RUN snow-chibi install "(foreign c)"
|
||||
RUN snow-chibi install "(srfi 170)"
|
||||
RUN snow-chibi install --always-yes "(foreign c)"
|
||||
RUN snow-chibi install --always-yes "(srfi 170)"
|
||||
WORKDIR /builddir
|
||||
COPY Makefile .
|
||||
COPY compile-r7rs.scm .
|
||||
|
|
Loading…
Reference in New Issue