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 \