CI: install 'libann-dev' on Ubuntu

This is a dependency of lib/mingle, and transitively cmd/mingle.

diff --git a/ci/ubuntu-18.04/Dockerfile b/ci/ubuntu-18.04/Dockerfile
index 84be5499c20f99cc73da0cad92d6c6e1b2f6e803..5d1dffbea20971d661e8e91123d8fd6d303d0e7c 100644 (file)
--- a/ci/ubuntu-18.04/Dockerfile
+++ b/ci/ubuntu-18.04/Dockerfile
@@ -33,6 +33,8 @@ libglade2-dev \
 libqt5gui5 \
 qt5-qmake \
 qt5-default \
+# for libmingle
+libann-dev \
 # Plugin library devil
 libdevil-dev \
 # Plugin library gd

diff --git a/ci/ubuntu-20.04/Dockerfile b/ci/ubuntu-20.04/Dockerfile
index e7ab4b591eb54c5cf000f50320e3a4733b53827e..d8d0b1cc4d771c80b22675f4fc1564c06de527fc 100644 (file)
--- a/ci/ubuntu-20.04/Dockerfile
+++ b/ci/ubuntu-20.04/Dockerfile
@@ -33,6 +33,8 @@ libglade2-dev \
 libqt5gui5 \
 qt5-qmake \
 qt5-default \
+# for libmingle
+libann-dev \
 # Plugin library devil
 libdevil-dev \
 # Plugin library gd

diff --git a/ci/ubuntu-21.04/Dockerfile b/ci/ubuntu-21.04/Dockerfile
index 12940318dc4008981e023e0d82f04ff24c44d14f..1daff16e022e678206e07b5e03f641acf48dbd1d 100644 (file)
--- a/ci/ubuntu-21.04/Dockerfile
+++ b/ci/ubuntu-21.04/Dockerfile
@@ -36,6 +36,8 @@ libglade2-dev \
 libqt5gui5 \
 qt5-qmake \
 qtbase5-dev \
+# for libmingle
+libann-dev \
 # Plugin library devil
 libdevil-dev \
 # Plugin library gd

diff --git a/ci/ubuntu-21.10/Dockerfile b/ci/ubuntu-21.10/Dockerfile
index 91eac5c03e42df22ae6061dce85168ff2abf088c..91ba03b313096e5735b49ed4110829c449c673d1 100644 (file)
--- a/ci/ubuntu-21.10/Dockerfile
+++ b/ci/ubuntu-21.10/Dockerfile
@@ -37,6 +37,8 @@ libglade2-dev \
 libqt5gui5 \
 qt5-qmake \
 qtbase5-dev \
+# for libmingle
+libann-dev \
 # Plugin library devil
 libdevil-dev \
 # Plugin library gd