From 68ca49efe706f4599ecf247bd210683e077b830e Mon Sep 17 00:00:00 2001
From: m0n0chr0m3 <m0n0chr0m3@users.noreply.github.com>
Date: Tue, 14 May 2024 16:57:29 +0200
Subject: [PATCH] Update dodona-scheme.dockerfile

Install `r7rs` Scheme as a source-based library
---
 dodona-scheme.dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dodona-scheme.dockerfile b/dodona-scheme.dockerfile
index b8b6fd6..0d520e4 100644
--- a/dodona-scheme.dockerfile
+++ b/dodona-scheme.dockerfile
@@ -7,6 +7,7 @@ RUN apt-get --allow-releaseinfo-change update \
     && apt-get clean \
     # add racket dependencies
     && raco pkg install -i --auto --binary-lib --no-cache --no-docs rackunit r5rs \
+    && raco pkg install -i --auto --no-cache --no-docs r7rs \
     # follow Dodona conventions
     && chmod 711 /mnt \
     && useradd -m runner \