Adding docker build and push to Jenkins

This commit is contained in:
retropikzel 2025-09-14 09:47:29 +03:00
parent f0c3fb9b4d
commit 24e98123d3
1 changed files with 7 additions and 5 deletions

View File

@ -1,4 +1,4 @@
FROM schemers/chibi:head FROM docker.io/debian:trixie
RUN apt-get update && apt-get install -y \ RUN apt-get update && apt-get install -y \
build-essential \ build-essential \
ca-certificates \ ca-certificates \
@ -6,15 +6,17 @@ RUN apt-get update && apt-get install -y \
make \ make \
docker.io \ docker.io \
libffi-dev \ libffi-dev \
pandoc pandoc \
chicken-bin
RUN chicken-install r7rs
RUN git clone https://github.com/ashinn/chibi-scheme.git --depth=1 RUN git clone https://github.com/ashinn/chibi-scheme.git --depth=1
RUN cd chibi-scheme && make -j 16 && make -j 16 install RUN cd chibi-scheme && make -j 16 && make -j 16 install
RUN snow-chibi install --always-yes "(foreign c)" RUN snow-chibi install --always-yes --impls=chicken "(foreign c)"
RUN snow-chibi install --always-yes "(srfi 170)" RUN snow-chibi install --always-yes --impls=chicken "(srfi 170)"
WORKDIR /builddir WORKDIR /builddir
COPY Makefile . COPY Makefile .
COPY compile-r7rs.scm . COPY compile-r7rs.scm .
COPY libs/ libs/ COPY libs/ libs/
RUN make && make install RUN make build-static && make install
WORKDIR /workdir WORKDIR /workdir
RUN mkdir -p ${HOME}/.snow && echo "()" > ${HOME}/.snow/config.scm RUN mkdir -p ${HOME}/.snow && echo "()" > ${HOME}/.snow/config.scm