blob: 41a4fb05ead884a218a1dca2eefba84f0869a470 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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-build
```
|