From 9723acda08a7134d7f837fad9026a833db0c42fa Mon Sep 17 00:00:00 2001
From: Hexcoder <heiko@hexco.de>
Date: Mon, 15 Jan 2018 17:23:50 +0100
Subject: add wllvm to the python packages to be installed

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Dockerfile')

diff --git a/Dockerfile b/Dockerfile
index 066d5571..7d23dc7f 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -43,7 +43,7 @@ RUN apt-get update && \
         wget \
         unzip \
         binutils && \
-    pip3 install -U lit tabulate && \
+    pip3 install -U lit tabulate wllvm && \
     update-alternatives --install /usr/bin/python python /usr/bin/python3 50 && \
     ( wget -O - http://download.opensuse.org/repositories/home:delcypher:z3/xUbuntu_14.04/Release.key | apt-key add - ) && \
     echo 'deb http://download.opensuse.org/repositories/home:/delcypher:/z3/xUbuntu_14.04/ /' >> /etc/apt/sources.list.d/z3.list && \
-- 
cgit 1.4.1