From 9b3fe67266ca1a42f18e00f36a62608662fb1a4d Mon Sep 17 00:00:00 2001 From: Steffen Vogel Date: Tue, 21 Sep 2021 13:43:34 +0200 Subject: [PATCH] docker: use build cache --- packaging/docker/Dockerfile.fedora | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/packaging/docker/Dockerfile.fedora b/packaging/docker/Dockerfile.fedora index d494e2658..6c453489b 100644 --- a/packaging/docker/Dockerfile.fedora +++ b/packaging/docker/Dockerfile.fedora @@ -24,6 +24,7 @@ ARG DISTRO=fedora ARG FEDORA_VERSION=34 ARG ARCH=x86_64 ARG TRIPLET=x86_64-linux-gnu +ARG REF=unknown FROM ${DISTRO}:${FEDORA_VERSION} AS dev @@ -107,9 +108,9 @@ FROM dev AS app COPY . /villas/ -RUN rm -rf /villas/build && mkdir /villas/build WORKDIR /villas/build -RUN cmake .. && \ +RUN --mount=type=cache,id=${DISTRO}-${FEDORA_VERSION}-${ARCH}-${REF},target=/villas/build \ + cmake .. && \ make -j$(nproc) doc && \ make -j$(nproc) install && \ ldconfig