Adding upstream version 16.2.11+ds.upstream/16.2.11+dsupstream

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 23 insertions, 0 deletions

diff --git a/src/seastar/doc/building-docker.md b/src/seastar/doc/building-docker.md
new file mode 100644
index 000000000..56816dd34
--- /dev/null
+++ b/src/seastar/doc/building-docker.md
@@ -0,0 +1,23 @@
+## Building seastar in Docker container
+
+To build a Docker image:
+
+```
+docker build -t seastar-dev docker/dev
+```
+
+Create an shell function for building insider the container (bash syntax given):
+
+```
+$ seabuild() { docker run -v $HOME/seastar/:/seastar -u $(id -u):$(id -g) -w /seastar -t seastar-dev "$@"; }
+```
+
+(it is recommended to put this inside your .bashrc or similar)
+
+To build inside a container:
+
+```
+$ seabuild ./configure.py
+$ seabuild ninja -C build/release
+```
+