diff options
Diffstat (limited to '.gitlab/ci/docker/debian10/install_deps.sh')
| -rwxr-xr-x | .gitlab/ci/docker/debian10/install_deps.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab/ci/docker/debian10/install_deps.sh b/.gitlab/ci/docker/debian10/install_deps.sh index 9f50585195..f796816145 100755 --- a/.gitlab/ci/docker/debian10/install_deps.sh +++ b/.gitlab/ci/docker/debian10/install_deps.sh @@ -68,6 +68,7 @@ apt-get install -y \ libjsoncpp-dev \ liblapack-dev \ liblzma-dev \ + libopenal-dev \ libopenmpi-dev openmpi-bin \ libpng-dev \ libpq-dev postgresql-server-dev-11 \ |