From 4f151e380e7d31cc422ae7c1b946db770b1e7269 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marcus=20M=C3=B6nnig?= Date: Wed, 17 Oct 2018 22:23:32 +0200 Subject: [PATCH 1/2] Add missing file mythril/version.py for precopy --- Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/Dockerfile b/Dockerfile index 283c0c88..3f4bcf69 100644 --- a/Dockerfile +++ b/Dockerfile @@ -19,6 +19,7 @@ RUN apt-get update \ && 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 \ From 3b0898bdebd33d9f629787ff9f3eacb823538490 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marcus=20M=C3=B6nnig?= Date: Wed, 17 Oct 2018 22:44:47 +0200 Subject: [PATCH 2/2] 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"]