Install pkg-config forcibly

HDFGroup · Feb 6, 2023 · 0c677d3 · 0c677d3
1 parent f3eb738
commit 0c677d3
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/ci/install_deps.sh b/ci/install_deps.sh
@@ -20,6 +20,8 @@ set -x
 set -e
 set -o pipefail
 
+sudo apt-get install -y pkg-config
+
 # Change this especially when your $HOME doesn't have enough disk space. 
 INSTALL_DIR="${HOME}/${LOCAL}"