diff --git a/Dockerfile b/Dockerfile index 883d1c81c92799372ac011f9c52d4afee0198ed7..2b8f8a89b16b3fe04173260d3b026dc2b5787324 100644 --- a/Dockerfile +++ b/Dockerfile @@ -14,7 +14,8 @@ RUN apt-get install -y \ tox \ build-essential \ clang \ - gcc && \ + gcc \ + libomp-dev && \ rm -rf /var/lib/apt/lists/* && \ apt-get clean