diff --git a/Dockerfile b/Dockerfile index 9b624a9358efb24a3823318289f40eed9a0dc212..a1e4706267ea86853c6b062c2bf34676138cabf3 100644 --- a/Dockerfile +++ b/Dockerfile @@ -28,6 +28,7 @@ RUN apt-get update \ openssh-client \ swig \ clang \ + llvm \ && apt-get clean \ && rm -rf /var/lib/apt/lists/*