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 · e83088a · e83088a
1 parent 6fd00d9
commit e83088a
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 \