diff --git a/storm-basesystem/Dockerfile b/storm-basesystem/Dockerfile index 2fb9a26..7b8f69e 100644 --- a/storm-basesystem/Dockerfile +++ b/storm-basesystem/Dockerfile @@ -17,8 +17,9 @@ ENV DEBIAN_FRONTEND=noninteractive # - all other dependencies are the recommended packages for Storm (see https://www.stormchecker.org/documentation/obtain-storm/dependencies.html#-debian-and--ubuntu) RUN apt-get update -qq && apt-get install -y --no-install-recommends \ automake \ - ca-certificates \ build-essential \ + ca-certificates \ + ccache \ cmake \ git \ libarchive-dev \ diff --git a/storm-basesystem/Dockerfile.minimal_dependencies b/storm-basesystem/Dockerfile.minimal_dependencies index e06262c..73f0011 100644 --- a/storm-basesystem/Dockerfile.minimal_dependencies +++ b/storm-basesystem/Dockerfile.minimal_dependencies @@ -17,8 +17,9 @@ ENV DEBIAN_FRONTEND=noninteractive # - all other dependencies are the required packages for Storm (see https://www.stormchecker.org/documentation/obtain-storm/dependencies.html#-debian-and--ubuntu) RUN apt-get update -qq && apt-get install -y --no-install-recommends \ automake \ - ca-certificates \ build-essential \ + ca-certificates \ + ccache \ cmake \ git \ libboost-dev \