summaryrefslogtreecommitdiffhomepage
path: root/coverity/build.sh
diff options
context:
space:
mode:
authorStanislaw Halik <sthalik@misaki.pl>2017-04-29 05:20:39 +0200
committerStanislaw Halik <sthalik@misaki.pl>2017-04-29 05:20:39 +0200
commit7d559d6d23982719b8003ebe6308b104def0d3fd (patch)
tree48a978d8e9426c70962179c2dd222ae29913eb5c /coverity/build.sh
parent8f5ad2e339a8167ac8b6fd49b853f41624f9acda (diff)
coverity: simplify directory structure
Diffstat (limited to 'coverity/build.sh')
-rw-r--r--coverity/build.sh45
1 files changed, 45 insertions, 0 deletions
diff --git a/coverity/build.sh b/coverity/build.sh
new file mode 100644
index 00000000..02cd5cad
--- /dev/null
+++ b/coverity/build.sh
@@ -0,0 +1,45 @@
+#!/bin/sh
+
+function cleanup() {
+ for i in cov-build ninja; do
+ taskkill -f -t -im "$i.exe" 2>/dev/null 1>&2
+ done
+ rm -f "$myfile"
+}
+
+function signal() {
+ set +e
+ trap '' EXIT
+ echo "error: $1" 1>&2
+ cleanup
+ exit 1
+}
+
+export PATH="/d/dev/cov-analysis-win64-8.7.0/bin:/c/msys64/bin:/c/msys64/mingw32/bin:/usr/bin:$PATH"
+
+for k in HUP INT QUIT ILL BUS FPE SEGV PIPE; do
+ trap "signal 'got fatal signal SIG'$k" SIG"$k"
+done
+
+trap 'signal "fatal return $?"' EXIT
+
+set -e
+
+mydate="$(date --iso-8601=minutes)"
+mydir="$(dirname -- "$0")"
+myfile="$mydir/opentrack-"$mydate".7z"
+
+cd "$mydir"
+for k in opencv aruco libovr-025 libovr-042 libovr-080; do
+ ninja -C "./$k"
+done
+
+cd "./opentrack"
+
+cmake .
+ninja32 clean
+cov-build --dir cov-int ninja
+rm -f "$myfile" || true
+7za -mx a "$myfile" cov-int
+trap '' EXIT
+exit 0