From 3b0898bdebd33d9f629787ff9f3eacb823538490 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marcus=20M=C3=B6nnig?= <mm@marcusmoennig.de>
Date: Wed, 17 Oct 2018 22:44:47 +0200
Subject: [PATCH] Seperate pip and mythril module installs

---
 Dockerfile | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 3f4bcf69..e204e2d1 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -18,13 +18,10 @@ RUN apt-get update \
      git \
   && ln -s /usr/bin/python3 /usr/local/bin/python
 
-COPY ./setup.py /opt/mythril/setup.py
-COPY ./mythril/version.py /opt/mythril/mythril/version.py
 COPY ./requirements.txt /opt/mythril/requirements.txt
 
 RUN cd /opt/mythril \
-  && pip3 install -r requirements.txt \
-  && python setup.py install
+  && pip3 install -r requirements.txt
 
 RUN locale-gen en_US.UTF-8
 ENV LANG en_US.UTF-8
@@ -32,5 +29,7 @@ ENV LANGUAGE en_US.en
 ENV LC_ALL en_US.UTF-8
 
 COPY . /opt/mythril
+RUN cd /opt/mythril \
+  && python setup.py install
 
 ENTRYPOINT ["/usr/local/bin/myth"]