diff options
Diffstat (limited to 'tests/docker/build-clazy.sh')
-rwxr-xr-x | tests/docker/build-clazy.sh | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/tests/docker/build-clazy.sh b/tests/docker/build-clazy.sh new file mode 100755 index 00000000..0ad1cb5e --- /dev/null +++ b/tests/docker/build-clazy.sh @@ -0,0 +1,26 @@ +# This is the script that runs inside the docker container and builds clazy + +BRANCH=$1 +J_FLAG=$2 +CLAZY_PREFIX=$3 +LLVM_ROOT=$3 + +if [ -z "$1" ] +then + exit 1; +fi + +if [ -z "$2" ] +then + exit 1; +fi + +if [ -z "$3" ] +then + exit 1; +fi + +export PATH=$CLAZY_PREFIX/bin:$PATH +export LD_LIBRARY_PATH=$CLAZY_PREFIX/lib:$CLAZY_PREFIX/lib64:$LD_LIBRARY_PATH + +cd /root/clazy && git fetch && git checkout origin/$BRANCH && cmake -DCMAKE_INSTALL_PREFIX=$CLAZY_PREFIX -DCMAKE_BUILD_TYPE=RelWithDebInfo . && make $J_FLAG && make install && cd tests && ./run_tests.py |