From 44cceb1eb7ab58b153a20d12c84d6b0b352e05da Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Fri, 10 Apr 2015 18:47:42 +0100
Subject: The Docker image had python2 and python3 which is a waste of space
 (I'm not sure where python3 came from. I didn't explicitly install it).

Just ship python3.
---
 Dockerfile | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'Dockerfile')

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)
-- 
cgit 1.4.1