diff --git a/Dockerfile b/Dockerfile index d7f1ecb7..23780cb3 100644 --- a/Dockerfile +++ b/Dockerfile @@ -3,13 +3,17 @@ FROM ubuntu:bionic COPY . /opt/mythril RUN apt-get update \ - && apt-get install -y software-properties-common \ + && apt-get install -y \ + build-essential \ + python-pip-whl=9.0.1-2 \ + python3-pip=9.0.1-2 \ + python3-setuptools \ + software-properties-common \ && add-apt-repository -y ppa:ethereum/ethereum \ && apt-get update \ && apt-get install -y \ solc \ libssl-dev \ - python3-pip=9.0.1-2 \ python3-dev \ pandoc \ git \