DeforaNetworks/manticore
3
0
Fork 0
Code Releases Activity

install z3 with pip in Dockerfile (#502)

Browse Source
This commit is contained in:
JP Smith 2017-09-14 11:52:15 -05:00 committed by GitHub
parent 0efa37933a
commit b9333838ad
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Dockerfile
View File

@ -2,7 +2,7 @@ FROM ubuntu:16.04
MAINTAINER JP Smith
RUN apt-get -y update && \
DEBIAN_FRONTEND=noninteractive apt-get -y install z3 python-pip git && \
DEBIAN_FRONTEND=noninteractive apt-get -y install python-pip git && \
git clone https://github.com/trailofbits/manticore.git && \
cd manticore && \
pip install .