| #!/bin/bash |
| |
| set -e |
| |
| # Environment check |
| [ -z "$COVERITY_TOKEN" ] && echo "Need to set a coverity token" && exit 1 |
| |
| SOURCE_DIR=${SOURCE_DIR:-$( cd "$( dirname "${BASH_SOURCE[0]}" )" && dirname $( pwd ) )} |
| BUILD_DIR=$(pwd) |
| |
| case $(uname -m) in |
| i?86) BITS=32 ;; |
| amd64|x86_64) BITS=64 ;; |
| esac |
| SCAN_TOOL=https://scan.coverity.com/download/cxx/linux${BITS} |
| TOOL_BASE=$(pwd)/_coverity-scan |
| |
| # Install coverity tools |
| if [ ! -d "$TOOL_BASE" ]; then |
| echo "Downloading coverity..." |
| mkdir -p "$TOOL_BASE" |
| pushd "$TOOL_BASE" |
| wget -O coverity_tool.tgz $SCAN_TOOL \ |
| --post-data "project=libgit2&token=$COVERITY_TOKEN" |
| tar xzf coverity_tool.tgz |
| popd |
| TOOL_DIR=$(find "$TOOL_BASE" -type d -name 'cov-analysis*') |
| ln -s "$TOOL_DIR" "$TOOL_BASE"/cov-analysis |
| fi |
| |
| cp "${SOURCE_DIR}/script/user_nodefs.h" "$TOOL_BASE"/cov-analysis/config/user_nodefs.h |
| |
| COV_BUILD="$TOOL_BASE/cov-analysis/bin/cov-build" |
| |
| # Configure and build |
| cmake ${SOURCE_DIR} |
| |
| COVERITY_UNSUPPORTED=1 \ |
| $COV_BUILD --dir cov-int \ |
| cmake --build . |
| |