diff options
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/Dockerfile b/Dockerfile index f97ffabd..07f1bb48 100644 --- a/Dockerfile +++ b/Dockerfile @@ -26,9 +26,9 @@ RUN apt-get update && \ cmake \ make \ libboost-program-options-dev \ - python \ - python-dev \ - python-pip \ + python3 \ + python3-dev \ + python3-pip \ perl \ flex \ bison \ @@ -38,7 +38,8 @@ RUN apt-get update && \ wget \ unzip \ binutils && \ - pip install -U lit tabulate + pip3 install -U lit tabulate && \ + update-alternatives --install /usr/bin/python python /usr/bin/python3 50 # Create ``klee`` user for container with password ``klee``. # and give it password-less sudo access (temporarily so we can use the TravisCI scripts) |