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 dodona-edu#307 adds '--no-install-recommends' to the `apt` commandline.
thomasfaingnaert · Feb 14, 2024 · 41e2566 · 41e2566
1 parent 6fd00d9
commit 41e2566
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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 \