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"]