diff --git a/Dockerfile.jetty b/Dockerfile.jetty index 9c5272b..9ffeb8b 100644 --- a/Dockerfile.jetty +++ b/Dockerfile.jetty @@ -19,11 +19,27 @@ USER root RUN apt-get update && \ apt-get install -y --no-install-recommends \ fonts-noto-cjk \ - graphviz \ + curl \ + build-essential \ && \ rm -rf /var/lib/apt/lists/* && \ /generate-jetty-start.sh +ARG GRAPHVIZ_VERSION=7.1.0 +ARG GRAPHVIZ_BUILD_DIR=/tmp/graphiz-build +RUN mkdir -p $GRAPHVIZ_BUILD_DIR && \ + cd $GRAPHVIZ_BUILD_DIR && \ + curl -o graphviz.tar.gz https://gitlab.com/api/v4/projects/4207231/packages/generic/graphviz-releases/${GRAPHVIZ_VERSION}/graphviz-${GRAPHVIZ_VERSION}.tar.gz && \ + tar -xzf graphviz.tar.gz && \ + cd graphviz-$GRAPHVIZ_VERSION && \ + ./configure && \ + make && \ + make install && \ + apt-get remove -y curl build-essential && \ + rm -rf $GRAPHVIZ_BUILD_DIR + +RUN dot -V + COPY docker-entrypoint.jetty.sh /entrypoint.sh RUN chmod +x /entrypoint.sh