Seperate pip and mythril module installs

6 years ago · 3b0898bdeb
parent 4f151e380e
commit 3b0898bdeb
1 changed files with 3 additions and 4 deletions
--- a/7
+++ b/7
@ -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"]