summaryrefslogtreecommitdiff
path: root/scripts/command/run_coverity.sh
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/command/run_coverity.sh')
-rwxr-xr-xscripts/command/run_coverity.sh60
1 files changed, 60 insertions, 0 deletions
diff --git a/scripts/command/run_coverity.sh b/scripts/command/run_coverity.sh
new file mode 100755
index 000000000..2c4f9514b
--- /dev/null
+++ b/scripts/command/run_coverity.sh
@@ -0,0 +1,60 @@
+#!/bin/bash
+
+# _COVERITY_USER, _COVERITY_PASSWORD, _COVERITY_STREAM and COVERITY_SCRIPT_DOWNLOAD_URL should be defined.
+# XXX are used only in this script and _XXX are used in Coverity script.
+if [ -z ${_COVERITY_STREAM+x} ]; then
+ echo "_COVERITY_STREAM is unset";
+ exit 1
+else
+ echo "_COVERITY_STREAM is set to '$_COVERITY_STREAM'";
+fi
+
+if [ -z ${_COVERITY_USER+x} ]; then
+ echo "_COVERITY_USER is unset";
+ exit 1
+else
+ echo "_COVERITY_USER is set to '$_COVERITY_USER'";
+fi
+
+if [ -z ${_COVERITY_PASSWORD+x} ]; then
+ echo "_COVERITY_PASSWORD is unset";
+ exit 1
+else
+ echo "_COVERITY_PASSWORD is set to '$_COVERITY_PASSWORD'";
+fi
+
+if [ -z ${COVERITY_SCRIPT_DOWNLOAD_URL+x} ]; then
+ echo "COVERITY_SCRIPT_DOWNLOAD_URL is unset";
+ exit 1
+else
+ echo "COVERITY_SCRIPT_DOWNLOAD_URL is set to '$COVERITY_SCRIPT_DOWNLOAD_URL'";
+fi
+
+#
+# Set variables required for Coverity script
+#
+
+SCRIPT_ROOT="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
+HOST_HOME=$(readlink -f $SCRIPT_ROOT/../..)
+
+export _BUILD_PATH=$HOST_HOME
+export _RUN_COVERITY_ROOT=$_BUILD_PATH/ci_coverity
+mkdir -p $_RUN_COVERITY_ROOT
+
+export GBS_BUILDROOT=$_RUN_COVERITY_ROOT/GBS-ROOT/
+mkdir -p $GBS_BUILDROOT
+
+# Prepare gbs.conf for Coverity
+sed -- 's/^buildroot = .*/buildroot = '${GBS_BUILDROOT//\//\\/}'/' < $SCRIPT_ROOT/gbs.conf > $SCRIPT_ROOT/gbs_coverity.conf
+export _BUILD_CMD="gbs -c ${SCRIPT_ROOT}/gbs_coverity.conf build -A armv7l --profile=profile.tizen --clean-repo"
+export _PROD_LOCATION=$GBS_BUILDROOT/local/repos/tizen/armv7l/RPMS
+
+export _COVERITY_BINARY_DIR=$_RUN_COVERITY_ROOT/coverity-binary
+mkdir -p $_COVERITY_BINARY_DIR
+
+# Invoke Coverity script
+pushd $_RUN_COVERITY_ROOT
+wget $COVERITY_SCRIPT_DOWNLOAD_URL
+popd
+chmod +x $_RUN_COVERITY_ROOT/${COVERITY_SCRIPT_DOWNLOAD_URL##*/}
+$_RUN_COVERITY_ROOT/${COVERITY_SCRIPT_DOWNLOAD_URL##*/}