From cbb9c9c0edca0e1e0a627b62f693528b0d8c28f7 Mon Sep 17 00:00:00 2001
From: retropikzel <retropikzel@iki.fi>
Date: Sat, 5 Oct 2024 12:40:20 +0300
Subject: [PATCH] Making the jenkins build work

---
 Dockerfile.jenkins | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 Dockerfile.jenkins

diff --git a/Dockerfile.jenkins b/Dockerfile.jenkins
new file mode 100644
index 0000000..f069b44
--- /dev/null
+++ b/Dockerfile.jenkins
@@ -0,0 +1,4 @@
+FROM schemers/gauche
+RUN apt update && apt install -y docker.io make bash curl wget tree file build-essential
+RUN wget https://github.com/ashinn/chibi-scheme/archive/refs/tags/0.11.tar.gz && tar -xf 0.11.tar.gz
+RUN cd chibi-scheme-0.11 && ./configure && make && make install