From e83088a7ca32e1999b803a272693d852eaabb713 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 \