From ec85c0843745eaa9a9acc64265673c457242fea1 Mon Sep 17 00:00:00 2001 From: Sergio Martins Date: Sat, 22 Sep 2018 15:59:46 +0100 Subject: Add the script thats called by the docker container to build clazy Previsouly it was in the container's /usr/bin/, so got out of sync with other containers when edited. --- tests/docker/build-clazy.sh | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100755 tests/docker/build-clazy.sh diff --git a/tests/docker/build-clazy.sh b/tests/docker/build-clazy.sh new file mode 100755 index 00000000..4cd59997 --- /dev/null +++ b/tests/docker/build-clazy.sh @@ -0,0 +1,22 @@ +# This is the script that runs inside the docker container and builds clazy + +BRANCH=$1 +J_FLAG=$2 +CLAZY_PREFIX=$3 + +if [ -z "$1" ] +then + exit 1; +fi + +if [ -z "$2" ] +then + exit 1; +fi + +if [ -z "$3" ] +then + exit 1; +fi + +cd /root/clazy && git pull && git checkout $BRANCH && cmake -DCMAKE_INSTALL_PREFIX=$CLAZY_PREFIX -DCMAKE_BUILD_TYPE=RelWithDebInfo . && make $J_FLAG && make install && cd tests && ./run_tests.py -- cgit v1.2.3