From d90cee9fd39e4530495f26ea309824c34308a734 Mon Sep 17 00:00:00 2001 From: Aaron Schlesinger Date: Fri, 22 May 2015 16:03:39 -0700 Subject: [PATCH 1/2] 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 From 6116ccc2322f21f934f2912191ad15b74a85e268 Mon Sep 17 00:00:00 2001 From: Aaron Schlesinger Date: Fri, 22 May 2015 16:06:53 -0700 Subject: [PATCH 2/2] moving dockerfile to root --- dockerbuild.sh | 2 ++ tools/dockerbuild.sh | 2 -- 2 files changed, 2 insertions(+), 2 deletions(-) create mode 100755 dockerbuild.sh delete mode 100755 tools/dockerbuild.sh diff --git a/dockerbuild.sh b/dockerbuild.sh new file mode 100755 index 000000000..2685380bf --- /dev/null +++ b/dockerbuild.sh @@ -0,0 +1,2 @@ +#!/bin/bash +docker run -v $PWD:/rocks -w /rocks buildpack-deps make diff --git a/tools/dockerbuild.sh b/tools/dockerbuild.sh deleted file mode 100755 index a83d316b9..000000000 --- a/tools/dockerbuild.sh +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/bash -docker run -v $PWD/..:/rocks -w /rocks buildpack-deps make tools