From 37f061f35c7da9ebe96bd0b5ae4d20b8e74fb24c Mon Sep 17 00:00:00 2001
From: Piotr Spieker <orzechow@posteo.de>
Date: Mon, 28 Oct 2024 18:15:46 +0100
Subject: [PATCH] Avoid copying the whole repo into the docker image

---
 Dockerfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 769499f4..f750d296 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -24,7 +24,9 @@ RUN git clone https://github.com/KIT-MRT/util_caching.git /tmp/util_caching && \
 
 
 # Install arbitration_graphs
-COPY . /tmp/arbitration_graphs
+COPY include /tmp/arbitration_graphs/include
+COPY cmake /tmp/arbitration_graphs/cmake
+COPY CMakeLists.txt /tmp/arbitration_graphs/
 RUN mkdir /tmp/arbitration_graphs/build && \
     cd /tmp/arbitration_graphs/build && \
     cmake .. && \