Mirrors
/
libhermit
mirror of https://github.com/hermitcore/libhermit.git
1
0
Fork 0
Code Issues Releases Wiki Activity

add missing OpenMP library to the docker container

This commit is contained in:
Stefan Lankes 2019-02-26 10:08:31 +01:00
parent 01c38a4bc2
commit 30145dddcf
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docker/Dockerfile
View File

@ -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