diff --git a/.docker/Dockerfile b/.docker/Dockerfile index 8a42d3018052b509efaeb9af9d9305fa418ca822..242390d8bb5ac61651974b1790a9da012e77ae86 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