diff --git a/docker/dev/Dockerfile b/docker/dev/Dockerfile index 7d293c1557..b505ec1a88 100644 --- a/docker/dev/Dockerfile +++ b/docker/dev/Dockerfile @@ -32,6 +32,7 @@ RUN apt-get update \ llvm-7 \ procps \ xz-utils \ + libmpx2 \ && rm -rf /var/lib/apt/lists/* # gcc 6 is no longer included in debian unstable, but we need it to diff --git a/docker/local/Dockerfile b/docker/local/Dockerfile index d16c06145e..91be7e29e4 100644 --- a/docker/local/Dockerfile +++ b/docker/local/Dockerfile @@ -32,6 +32,7 @@ RUN apt-get update \ llvm-7 \ procps \ xz-utils \ + libmpx2 \ && rm -rf /var/lib/apt/lists/* # gcc 6 is no longer included in debian unstable, but we need it to diff --git a/docker/stable/Dockerfile b/docker/stable/Dockerfile index b3bbafc37d..cf41350dae 100644 --- a/docker/stable/Dockerfile +++ b/docker/stable/Dockerfile @@ -32,6 +32,7 @@ RUN apt-get update \ llvm-7 \ procps \ xz-utils \ + libmpx2 \ && rm -rf /var/lib/apt/lists/* # gcc 6 is no longer included in debian unstable, but we need it to