diff --git a/Dockerfile.jenkins b/Dockerfile.jenkins index c81df06..af9ea53 100644 --- a/Dockerfile.jenkins +++ b/Dockerfile.jenkins @@ -1,6 +1,6 @@ FROM debian:trixie RUN apt-get update && apt-get install -y \ - build-essential make docker.io git ca-certificates + build-essential make docker.io git ca-certificates libffi-dev RUN git clone https://github.com/ashinn/chibi-scheme.git --depth=1 RUN git clone https://codeberg.org/retropikzel/compile-r7rs.git --depth=1 --branch=silence WORKDIR /chibi-scheme