add support for libpugixml-dev

feelpp · Dec 4, 2023 · a98da61 · a98da61
1 parent ddcce39
commit a98da61
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/feelpp-env/Dockerfile-debian b/feelpp-env/Dockerfile-debian
@@ -39,7 +39,7 @@ RUN apt-get -qq update && \
     libgsl-dev                                                  \
     libnetcdf-dev libgl2ps-dev libglu1-mesa-dev libsm-dev libxt-dev \
     libfftw3-mpi-dev                                            \
-    libxml2-dev                                             \
+    libxml2-dev   libpugixml-dev                                          \
     libgmsh-dev gmsh                                       \
     bison flex                                              \
     doxygen doxygen-latex                                  \

diff --git a/feelpp-env/Dockerfile-ubuntu b/feelpp-env/Dockerfile-ubuntu
@@ -29,7 +29,7 @@ RUN apt-get -qq update && \
            libgsl-dev                                                  \
            libnetcdf-dev libgl2ps-dev libglu1-mesa-dev libsm-dev libxt-dev \
            libfftw3-mpi-dev                                            \
-	       libxml2-dev                                             \
+	       libxml2-dev libpugixml-dev                                  \
 	       libgmsh-dev gmsh                                       \
 	       bison flex                                              \
 	       doxygen doxygen-latex                                  \