Dockerfile: fix

kframework · Sep 4, 2019 · 908db13 · 908db13
1 parent 7165ccc
commit 908db13
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -7,6 +7,9 @@ FROM runtimeverificationinc/kframework:ubuntu-bionic
 RUN   apt-get update -q     \
   &&  apt-get install --yes \
         libstdc++6          \
+        llvm-6.0            \
+        clang++-6.0         \
+        clang-6.0           \
         clang-8             \
         libclang-8-dev      \
         llvm-8-tools        \