From 2d6601f1a7a8184f26195e53f9aac5165b4755c5 Mon Sep 17 00:00:00 2001 From: fspreck <f.spreckelsen@indiscale.com> Date: Thu, 20 Jan 2022 13:31:31 +0100 Subject: [PATCH] WIP: Pipeline --- .docker/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.docker/Dockerfile b/.docker/Dockerfile index 8a42d30..242390d 100644 --- a/.docker/Dockerfile +++ b/.docker/Dockerfile @@ -1,6 +1,6 @@ FROM julia:1.6 -RUN apt-get update && apt-get install -y libjsoncpp1 cmake git python3-pip curl +RUN apt-get update && apt-get install -y libjsoncpp-dev cmake git python3-pip curl # Dirty workaround for java not linking to the correct manpage directory (https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=863199) RUN mkdir -p /usr/share/man/man1 -- GitLab