summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Containerfile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Containerfile b/Containerfile
index 31734b1..1bdd4bb 100644
--- a/Containerfile
+++ b/Containerfile
@@ -27,6 +27,7 @@ ENV PATH=/opt/toolchain/bin:$PATH
RUN pacman --noconfirm -Syu && \
pacman --noconfirm --needed -S \
cmake \
+ doxygen \
flex \
git \
gmp \