Add missing file mythril/version.py for precopy

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