Add additional build tools to dev stage

OGGM · Jun 18, 2023 · c910b35 · c910b35
1 parent 4ae5d17
commit c910b35
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/untested_base/Dockerfile_dev.in b/untested_base/Dockerfile_dev.in
@@ -12,6 +12,9 @@ RUN \
         build-essential \
         cmake \
         ninja-build \
+        autoconf \
+        automake \
+        libtool \
         liblapack-dev \
         libopenblas-dev \
         libfreetype6-dev \