equal
deleted
inserted
replaced
|
1 #!/bin/bash |
|
2 |
|
3 set -e |
|
4 |
|
5 # absolute path to directory containing parent directory of that script |
|
6 # (i.e. source directory containing beremiz, matiec, etc..) |
|
7 SRCDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && cd .. && pwd )" |
|
8 echo "SOURCE direcory : $SRCDIR" |
|
9 |
|
10 # absolute path to build directory. ~/build if not given as only argument |
|
11 BUILDDIR=${1:-~/build} |
|
12 mkdir -p $BUILDDIR |
|
13 echo "BUILD direcory : $BUILDDIR" |
|
14 |
|
15 UNAME=devel |
|
16 UHOME=/home/$UNAME |
|
17 |
|
18 echo "Creating docker container" |
|
19 docker create \ |
|
20 --name beremiz_public_builder_current \ |
|
21 -v $SRCDIR:$UHOME/src \ |
|
22 -v $BUILDDIR:$UHOME/build \ |
|
23 -v /tmp/.X11-unix/X0:/tmp/.X11-unix/X0 \ |
|
24 -w $UHOME/build \ |
|
25 -i -t beremiz_public_builder /bin/bash |