diff options
Diffstat (limited to 'Containerfile')
| -rw-r--r-- | Containerfile | 1 |
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 \ |