From d90cee9fd39e4530495f26ea309824c34308a734 Mon Sep 17 00:00:00 2001
From: Aaron Schlesinger <arschles@gmail.com>
Date: Fri, 22 May 2015 16:03:39 -0700
Subject: [PATCH] adding docker build script and dockerfile

---
 tools/Dockerfile     | 5 +++++
 tools/dockerbuild.sh | 2 ++
 2 files changed, 7 insertions(+)
 create mode 100644 tools/Dockerfile
 create mode 100755 tools/dockerbuild.sh

diff --git a/tools/Dockerfile b/tools/Dockerfile
new file mode 100644
index 000000000..1d5ead7fd
--- /dev/null
+++ b/tools/Dockerfile
@@ -0,0 +1,5 @@
+FROM buildpack-deps:wheezy
+
+ADD ./ldb /rocksdb/tools/ldb
+
+CMD /rocksdb/tools/ldb
diff --git a/tools/dockerbuild.sh b/tools/dockerbuild.sh
new file mode 100755
index 000000000..a83d316b9
--- /dev/null
+++ b/tools/dockerbuild.sh
@@ -0,0 +1,2 @@
+#!/bin/bash
+docker run -v $PWD/..:/rocks -w /rocks buildpack-deps make tools