Adding upstream version 18.2.2.upstream/18.2.2

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

1 files changed, 34 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..ef95c7903
--- /dev/null
+++ b/src/seastar/doc/building-docker.md
@@ -0,0 +1,34 @@
+## Building seastar in Docker container
+
+To build a Docker image:
+
+```
+docker build -t seastar-dev -f docker/dev/Dockerfile .
+```
+
+Building is done with two commands:
+
+```
+$ ./configure.py
+$ ninja -C build/release
+```
+
+You can run them inside container, e.g. like this
+
+```
+$ seabuild() { docker run -v $HOME/seastar/:/seastar -u $(id -u):$(id -g) -w /seastar -t seastar-dev "$@"; }
+$ seabuild ./configure.py
+$ seabuild ninja -C build/release
+```
+
+Alternatively there's a `scripts/build.sh` script with the usage of
+
+```
+build.sh <mode> [<compiler>] [<compiler version>] [<c++ dialect>]
+```
+
+that will do the above steps itself, e.g. the above example would be like
+
+```
+$ scripts/build.sh release
+```