Dockerfile

FROM ubuntu:bionic AS builder
ENV LD_LIBRARY_PATH=/usr/local/lib PREFIX=/usr/local HOST_OS=Linux
RUN apt-get update && apt-get -y upgrade && apt-get install -y sudo git cmake curl libgmp-dev libssl-dev libbz2-dev libreadline-dev software-properties-common libsecp256k1-dev && apt-get clean
RUN curl -sSL https://get.haskellstack.org/ | sh
COPY . /echidna/
WORKDIR /echidna
RUN .github/scripts/install-libff.sh
RUN stack upgrade && stack setup && stack install --extra-include-dirs=/usr/local/include --extra-lib-dirs=/usr/local/lib

FROM ubuntu:bionic AS final
ENV PREFIX=/usr/local HOST_OS=Linux
WORKDIR /root
COPY --from=builder /root/.local/bin/echidna-test /root/.local/bin/echidna-test
COPY .github/scripts/install-crytic-compile.sh .github/scripts/install-crytic-compile.sh
RUN apt-get update && apt-get -y upgrade && apt-get install -y wget locales-all locales python3.6 python3-pip python3-setuptools && apt-get clean
RUN update-alternatives --install /usr/bin/python python /usr/bin/python3.6 10
RUN wget https://github.com/ethereum/solidity/releases/download/v0.4.25/solc-static-linux && chmod +x solc-static-linux && 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 && chmod +x solc-static-linux && mv solc-static-linux /usr/bin/solc
RUN .github/scripts/install-crytic-compile.sh
RUN update-locale LANG=en_US.UTF-8 && locale-gen en_US.UTF-8
ENV PATH=$PATH:/root/.local/bin LANG=en_US.UTF-8 LANGUAGE=en_US:en LC_ALL=en_US.UTF-8
CMD ["/bin/bash"]