From 30145dddcfbcbd6ce88c4a627445b153400fcca9 Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Tue, 26 Feb 2019 10:08:31 +0100 Subject: [PATCH] add missing OpenMP library to the docker container --- docker/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index a266df1ed..045bdaec9 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -14,7 +14,7 @@ RUN echo "deb [trusted=yes] https://dl.bintray.com/hermitcore/ubuntu bionic main RUN apt-get -qq update # Install required packets from ubuntu repository -RUN apt-get install -y --allow-unauthenticated binutils-hermit newlib-hermit pte-hermit gcc-hermit libhermit +RUN apt-get install -y --allow-unauthenticated binutils-hermit newlib-hermit pte-hermit gcc-hermit libhermit libomp-hermit ENV PATH="/opt/hermit/bin:${PATH}" ENV EDITOR=vim