diff options
| author | Hexcoder <heiko@hexco.de> | 2018-01-15 17:23:50 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-01-17 14:29:46 +0100 |
| commit | 9723acda08a7134d7f837fad9026a833db0c42fa (patch) | |
| tree | fa48c4f14e2403fe4a36802f66bbae5c11d03a1c /Dockerfile | |
| parent | 3916f00c68611a8c85b856bc4af7f43bb5f0e628 (diff) | |
| download | klee-9723acda08a7134d7f837fad9026a833db0c42fa.tar.gz | |
add wllvm to the python packages to be installed
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
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 && \ |