build.sh

#!/bin/sh

set -e

TAG=${1:-latest}

echo '====================================================='
echo '================= BUILDING PLUGINS =================='
echo '====================================================='
./build-plugins.sh
echo '====================================================='
echo '================= BUILDING RECORDER ================='
echo '====================================================='
./build-recorder.sh

echo '====================================================='
echo '=============== BUILDING DOCKER IMAGE ==============='
echo '====================================================='

docker build . -t registry.e-biz.fr/deadlock-public/deadlock-theia:$TAG