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 \