crytic/echidna
1
0
Fork 0
mirror of https://github.com/crytic/echidna.git synced 2026-10-12 02:12:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

docker updates

Browse Source
This commit is contained in:
Will Song
2020-02-17 18:29:39 -05:00
committed by Will Song
parent 07123afd05
commit 1a4a55de2e
2 changed files with 17 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.dockerignore
+1
View File
@@ -1,2 +1,3 @@
.stack-work
.git
libff
Dockerfile
+16 -19
View File
@@ -1,26 +1,23 @@
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
FROM ubuntu:bionic AS builder
RUN apt-get update && apt-get -y upgrade && apt-get install -y sudo cmake curl libgmp-dev libssl-dev libbz2-dev libreadline-dev software-properties-common libsecp256k1-dev
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
ENV LD_LIBRARY_PATH=/usr/local/lib TRAVIS_OS_NAME=linux
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
FROM ubuntu:bionic AS final
WORKDIR /root
COPY --from=builder /root/.local/bin/echidna-test /root/.local/bin/echidna-test
COPY .travis/install-crytic-compile.sh .travis/install-crytic-compile.sh
RUN apt-get update && apt-get -y upgrade && apt-get install -y wget git locales-all locales python3.6 python3-setuptools
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
ENV TRAVIS_OS_NAME=linux
RUN .travis/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"]