create_docker_container.sh
author Edouard Tisserant <edouard.tisserant@gmail.com>
Sun, 14 Aug 2022 22:45:52 +0200
changeset 99 0623d6d4616b
parent 37 fd09116d3537
child 120 02e37d9e96a9
permissions -rwxr-xr-x
GH CD: chechout all projects, even self from prep_sources.yml so that revisions.txt is not too old for Makefile.
#!/bin/bash

set -e

# absolute path to directory containing parent directory of that script
# (i.e. source directory containing beremiz, matiec, etc..)
SRCDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && cd .. && pwd )"
echo "SOURCE direcory : $SRCDIR"

# absolute path to build directory. ~/build if not given as only argument
BUILDDIR=${1:-~/build}
mkdir -p $BUILDDIR
echo "BUILD direcory : $BUILDDIR"

UNAME=devel
UHOME=/home/$UNAME

echo "Creating docker container"
docker create \
       --name beremiz_public_builder_current \
       -v $SRCDIR:$UHOME/src \
       -v $BUILDDIR:$UHOME/build \
       -v /tmp/.X11-unix/X0:/tmp/.X11-unix/X0 \
       -w $UHOME/build \
       -i -t beremiz_public_builder /bin/bash