dont install OMP in docker - not needed anymore

ad-freiburg · Feb 15, 2024 · 0037a83 · 0037a83
1 parent 67b9f7f
commit 0037a83
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -16,7 +16,7 @@ RUN mkdir build && \
 FROM debian:bookworm-slim
 
 RUN apt-get update && \
-	apt-get install -y libgomp1 libzip4 zlib1g libbz2-1.0 && \
+	apt-get install -y libzip4 zlib1g libbz2-1.0 && \
 	rm -rf /var/lib/apt/lists/*
 
 COPY --from=builder /usr/local/etc/pfaedle /usr/local/etc/pfaedle