From ed27a60c050e33b42e8f6426f522fc95669e9150 Mon Sep 17 00:00:00 2001 From: mickayz Date: Mon, 19 Nov 2018 22:41:28 -0800 Subject: [PATCH 1/2] Add wget so --solv can grab correct verison of solc --- Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/Dockerfile b/Dockerfile index e204e2d1..448770c9 100644 --- a/Dockerfile +++ b/Dockerfile @@ -16,6 +16,7 @@ RUN apt-get update \ python3-dev \ pandoc \ git \ + wget \ && ln -s /usr/bin/python3 /usr/local/bin/python COPY ./requirements.txt /opt/mythril/requirements.txt From 6256c0b05a8c76fca44d1003948fd1b01906b436 Mon Sep 17 00:00:00 2001 From: mickayz Date: Mon, 19 Nov 2018 22:41:28 -0800 Subject: [PATCH 2/2] Add wget so --solv can grab correct verison of solc --- Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/Dockerfile b/Dockerfile index e204e2d1..448770c9 100644 --- a/Dockerfile +++ b/Dockerfile @@ -16,6 +16,7 @@ RUN apt-get update \ python3-dev \ pandoc \ git \ + wget \ && ln -s /usr/bin/python3 /usr/local/bin/python COPY ./requirements.txt /opt/mythril/requirements.txt