mirror of
https://github.com/trailofbits/manticore.git
synced 2026-10-12 02:23:44 +00:00
Eric Kilmer
05884f0ae8
* Fix stropts.h include file that is now removed in Ubuntu 20.04+ * Update Dockerfile to use 20.04
26 lines
828 B
Docker
26 lines
828 B
Docker
FROM ubuntu:20.04
|
|
|
|
LABEL name=Manticore
|
|
LABEL src="https://github.com/trailofbits/manticore"
|
|
LABEL creator="Trail of Bits"
|
|
LABEL dockerfile_maintenance=trailofbits
|
|
|
|
ENV LANG C.UTF-8
|
|
|
|
RUN apt-get -y update && DEBIAN_FRONTEND=noninteractive apt-get -y install python3 python3-dev python3-pip git wget
|
|
|
|
# Install solc 0.4.25 and validate it
|
|
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
|
|
|
|
# If this fails, the solc-static-linux binary has changed while it should not.
|
|
RUN [ "c9b268750506b88fe71371100050e9dd1e7edcf8f69da34d1cd09557ecb24580 /usr/bin/solc" = "$(sha256sum /usr/bin/solc)" ]
|
|
|
|
RUN python3 -m pip install -U pip
|
|
|
|
ADD . /manticore
|
|
RUN cd manticore && python3 -m pip install .[native]
|
|
|
|
CMD ["/bin/bash"]
|