docker : add openmp lib (#7780)

2024-06-06 07:17:21 +02:00
parent 7672adeec7
commit d67caea0d6
7 changed files with 11 additions and 5 deletions
--- a/.devops/main.Dockerfile
+++ b/.devops/main.Dockerfile
@@ -13,6 +13,9 @@ RUN make -j$(nproc)

 FROM ubuntu:$UBUNTU_VERSION as runtime

+RUN apt-get update && \
+    apt-get install -y libgomp1
+
 COPY --from=build /app/main /main

 ENV LC_ALL=C.utf8