Merge branch 'master' into lpt

UniStuttgart-VISUS · Jul 26, 2024 · 56b23fb · 56b23fb
2 parents c9ad921 + 94b067f
commit 56b23fb
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/.ci/check_format.sh b/.ci/check_format.sh
@@ -64,9 +64,6 @@ while read -r file; do
     if [[ $file == *"/boost-stacktrace/"* ]]; then
       continue
     fi
-    if [[ $file == *"/glm/"* ]]; then
-      continue
-    fi
   fi
 
   # ignore 3rd party dirs

diff --git a/.ci/docker/ubuntu/Dockerfile b/.ci/docker/ubuntu/Dockerfile
@@ -22,6 +22,8 @@ RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -y \
   xorg-dev \
 # libsodium / gmp:
   autoconf libtool \
+# icu:
+  autoconf-archive \
 # thrift:
   flex bison \
 # GL/glu.h: