From d87c983b9881362545fa3ce580b1bc4c4d07c1a4 Mon Sep 17 00:00:00 2001
From: David Manouchehri <manouchehri@riseup.net>
Date: Wed, 24 May 2017 17:49:37 -0400
Subject: [PATCH] Added Dockerfile. (#240)

* Added Dockerfile.

* Changes as requested by @japesinator.
---
 Dockerfile | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 Dockerfile

diff --git a/Dockerfile b/Dockerfile
new file mode 100644
index 0000000..08bbaa4
--- /dev/null
+++ b/Dockerfile
@@ -0,0 +1,15 @@
+FROM ubuntu:16.04
+MAINTAINER JP Smith
+
+RUN apt-get -y update && \
+	DEBIAN_FRONTEND=noninteractive apt-get -y install z3 python-pip git && \
+	git clone https://github.com/trailofbits/manticore.git && \
+	cd manticore && \
+	pip install .
+
+RUN useradd -m manticore
+USER manticore
+WORKDIR /home/manticore
+ENV HOME /home/manticore
+
+CMD ["/bin/bash"]