Avoid copying the whole repo into the docker image

KIT-MRT · Oct 29, 2024 · 568647e · 568647e
1 parent 91c719e
commit 568647e
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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 .. && \