From 08e8834390e59a81ca68c2d6127e5c4d3129c8aa Mon Sep 17 00:00:00 2001 From: James Ravenscroft Date: Sat, 26 Aug 2023 13:51:50 +0100 Subject: [PATCH] add changes to dockerfile --- Dockerfile.default | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/Dockerfile.default b/Dockerfile.default index 6025c23..68ed25d 100644 --- a/Dockerfile.default +++ b/Dockerfile.default @@ -1,10 +1,14 @@ -ARG EXTRA_DEPS="" -ARG CMAKE_ARGS="" ARG BUILD_BASE="ubuntu:22.04" ARG RUNTIME_BASE="ubuntu:22.04" FROM ${BUILD_BASE} AS build +ARG EXTRA_DEPS="" +ARG CMAKE_ARGS="" + +RUN echo "CMAKE_ARGS: ${CMAKE_ARGS}" +RUN echo "EXTRA_DEPS: ${EXTRA_DEPS}" + ENV DEBIAN_FRONTEND=noninteractive # inlude kitware apt repo to allow us to grab latest cmake