From 41e25662838c35e8337fffa2b12d854785da4726 Mon Sep 17 00:00:00 2001
From: Thomas Faingnaert <thomas.faingnaert@hotmail.com>
Date: Wed, 14 Feb 2024 11:54:24 +0100
Subject: [PATCH] Add make to Compilers Docker image

Seems I forgot to explicitly add 'make'...

It used to be pulled in as 'Recommends' of the 'cmake' package, but #307
adds '--no-install-recommends' to the `apt` commandline.
---
 dodona-compilers.dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dodona-compilers.dockerfile b/dodona-compilers.dockerfile
index 3e0b6bd..3cb99a4 100644
--- a/dodona-compilers.dockerfile
+++ b/dodona-compilers.dockerfile
@@ -13,6 +13,7 @@ RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install --no-instal
     git \
     graphviz \
     libfmt-dev \
+    make \
     p7zip-full \
     pandoc \
     python3 \