From fa08ffa52b8e380f99a6f4dad41df29ad3f31036 Mon Sep 17 00:00:00 2001 From: Ansgar Burchardt Date: Thu, 28 Apr 2016 16:07:18 +0200 Subject: [PATCH] Install libalberta-dev. --- dune-git/Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/dune-git/Dockerfile b/dune-git/Dockerfile index 5bfd5d7..3a6cdbe 100644 --- a/dune-git/Dockerfile +++ b/dune-git/Dockerfile @@ -4,6 +4,7 @@ USER root WORKDIR / RUN apt-get update && apt-get install --no-install-recommends --yes \ gnuplot-nox \ + libalberta-dev \ libscotchmetis-dev \ libug-dev \ locales-all \ -- GitLab