From 9b027ed72bcaf7f5ed67c564c8360c7526c7a7ae Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marcus=20M=C3=B6nnig?= <mm@marcusmoennig.de>
Date: Wed, 17 Oct 2018 13:43:00 +0200
Subject: [PATCH] Add setup.py and Pipfile as precopy steps

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

diff --git a/Dockerfile b/Dockerfile
index 8594ecb0..48cfe911 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -18,7 +18,8 @@ RUN apt-get update \
      git \
   && ln -s /usr/bin/python3 /usr/local/bin/python
 
-
+COPY ./setup.py /opt/mythril/setup.py
+COPY ./Pipfile /opt/mythril/Pipfile
 COPY ./requirements.txt /opt/mythril/requirements.txt
 
 RUN cd /opt/mythril \