|
|
|
|
FROM ubuntu:bionic
|
|
|
|
|
RUN apt-get update && apt-get -y upgrade
|
|
|
|
|
RUN apt-get install -y sudo cmake curl wget libgmp-dev libssl-dev libbz2-dev libreadline-dev software-properties-common locales-all locales libsecp256k1-dev python3.6 python3-setuptools
|
|
|
|
|
RUN apt-get update
|
|
|
|
|
RUN wget https://github.com/ethereum/solidity/releases/download/v0.4.25/solc-static-linux
|
|
|
|
|
RUN chmod +x solc-static-linux
|
|
|
|
|
RUN mv solc-static-linux /usr/bin/solc-0.4.25
|
|
|
|
|
RUN wget https://github.com/ethereum/solidity/releases/download/v0.5.7/solc-static-linux
|
|
|
|
|
RUN chmod +x solc-static-linux
|
|
|
|
|
RUN mv solc-static-linux /usr/bin/solc
|
|
|
|
|
RUN curl -sSL https://get.haskellstack.org/ | sh
|
|
|
|
|
COPY . /echidna/
|
|
|
|
|
WORKDIR /echidna
|
|
|
|
|
ENV TRAVIS_OS_NAME linux
|
|
|
|
|
ENV LD_LIBRARY_PATH /usr/local/lib
|
|
|
|
|
RUN update-alternatives --install /usr/bin/python python /usr/bin/python3.6 10
|
|
|
|
|
RUN .travis/install-libff.sh
|
|
|
|
|
RUN .travis/install-crytic-compile.sh
|
|
|
|
|
RUN stack upgrade && stack setup && stack install --extra-include-dirs=/usr/local/include --extra-lib-dirs=/usr/local/lib
|
|
|
|
|
ENV PATH=$PATH:/root/.local/bin
|
|
|
|
|
RUN update-locale LANG=en_US.UTF-8
|
|
|
|
|
RUN locale-gen en_US.UTF-8
|
|
|
|
|
ENV LANG en_US.UTF-8
|
|
|
|
|
ENV LANGUAGE en_US:en
|
|
|
|
|
ENV LC_ALL en_US.UTF-8
|
|
|
|
|
CMD ["/bin/bash"]
|
