diff options
Diffstat (limited to 'src/seastar/doc/building-docker.md')
| -rw-r--r-- | src/seastar/doc/building-docker.md | 23 |
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 +``` + |