Revision ad797ce7f8c1b6f92c47e21e0cf3798c47134ad7 authored by yan on 11 September 2018, 21:32:40 UTC, committed by yan on 11 September 2018, 21:32:40 UTC
1 parent 3ff1d46
Dockerfile
FROM ubuntu:18.04
MAINTAINER JP Smith
RUN apt-get -y update && DEBIAN_FRONTEND=noninteractive apt-get -y install python3 python3-pip git
RUN apt-get install -y build-essential software-properties-common && \
add-apt-repository -y ppa:ethereum/ethereum && \
apt-get update && \
apt-get install -y solc ethereum
RUN useradd -m manticore
USER manticore
WORKDIR /home/manticore
ENV HOME /home/manticore
ENV PATH $PATH:$HOME/.local/bin
RUN git clone https://github.com/trailofbits/manticore.git
RUN cd manticore && pip3 install --user .
CMD ["/bin/bash"]
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...