File indexing completed on 2024-05-05 05:41:37
0001 # This is the script that runs inside the docker container and builds clazy 0002 0003 BRANCH=$1 0004 J_FLAG=$2 0005 IGNORE_CHECKS=$3 0006 LLVM_ROOT=$4 0007 EXTRA_CMAKE_ARGS=$5 0008 0009 if [ "$IGNORE_CHECKS" = "none" ] 0010 then 0011 IGNORE_CHECKS="" 0012 else 0013 IGNORE_CHECKS=" --exclude ${IGNORE_CHECKS} " 0014 fi 0015 0016 export PATH=$LLVM_ROOT/bin:$PATH 0017 export LD_LIBRARY_PATH=$LLVM_ROOT/lib:$LLVM_ROOT/lib64:$LD_LIBRARY_PATH 0018 0019 cd /root/clazy && git fetch && git checkout origin/$BRANCH && cmake -DCMAKE_INSTALL_PREFIX=$LLVM_ROOT -DCMAKE_BUILD_TYPE=RelWithDebInfo $EXTRA_CMAKE_ARGS . && make $J_FLAG && make install && cd tests && ./run_tests.py $IGNORE_CHECKS