summaryrefslogtreecommitdiffstats
path: root/tdemarkdown/md4c/scripts/coverity.sh
diff options
context:
space:
mode:
authorMavridis Philippe <mavridisf@gmail.com>2022-02-05 17:44:26 +0000
committerSlávek Banko <slavek.banko@axis.cz>2022-04-18 06:58:02 +0200
commite87a929300f82e8b7608039f143b1533b51af4e0 (patch)
tree4cd1e34b81250a10eeb9ad4087c4a611dc080de5 /tdemarkdown/md4c/scripts/coverity.sh
parent8905a8003ddefcb8f57608b48585f98f7ac93958 (diff)
downloadtdelibs-e87a9293.tar.gz
tdelibs-e87a9293.zip
Add tdemarkdown part - embeddable lightweight markdown viewing component.
TDEMarkdown is based on the md4c library and using TDEHTML for rendering its output. For enhanced safety, on HTML widget is turned off everything we don't need for viewing. It integrates nicely into Konqueror and supports both Commonmark and GitHub markdown syntaxes. Signed-off-by: Mavridis Philippe <mavridisf@gmail.com> Prepare to merge tdemarkdown into tdelibs. Signed-off-by: Slávek Banko <slavek.banko@axis.cz> (cherry picked from commit 95279fbf6dfeb43d80590740a9259d7caa614177)
Diffstat (limited to 'tdemarkdown/md4c/scripts/coverity.sh')
-rwxr-xr-xtdemarkdown/md4c/scripts/coverity.sh70
1 files changed, 70 insertions, 0 deletions
diff --git a/tdemarkdown/md4c/scripts/coverity.sh b/tdemarkdown/md4c/scripts/coverity.sh
new file mode 100755
index 000000000..bcf7f140b
--- /dev/null
+++ b/tdemarkdown/md4c/scripts/coverity.sh
@@ -0,0 +1,70 @@
+#!/bin/sh
+#
+# This scripts attempts to build the project via cov-build utility, and prepare
+# a package for uploading to the coverity scan service.
+#
+# (See http://scan.coverity.com for more info.)
+
+set -e
+
+# Check presence of coverity static analyzer.
+if ! which cov-build; then
+ echo "Utility cov-build not found in PATH."
+ exit 1
+fi
+
+# Choose a build system (ninja or GNU make).
+if which ninja; then
+ BUILD_TOOL=ninja
+ GENERATOR=Ninja
+elif which make; then
+ BUILD_TOOL=make
+ GENERATOR="MSYS Makefiles"
+else
+ echo "No suitable build system found."
+ exit 1
+fi
+
+# Choose a zip tool.
+if which 7za; then
+ MKZIP="7za a -r -mx9"
+elif which 7z; then
+ MKZIP="7z a -r -mx9"
+elif which zip; then
+ MKZIP="zip -r"
+else
+ echo "No suitable zip utility found"
+ exit 1
+fi
+
+# Change dir to project root.
+cd `dirname "$0"`/..
+
+CWD=`pwd`
+ROOT_DIR="$CWD"
+BUILD_DIR="$CWD/coverity"
+OUTPUT="$CWD/cov-int.zip"
+
+# Sanity checks.
+if [ ! -x "$ROOT_DIR/scripts/coverity.sh" ]; then
+ echo "There is some path mismatch."
+ exit 1
+fi
+if [ -e "$BUILD_DIR" ]; then
+ echo "Path $BUILD_DIR already exists. Delete it and retry."
+ exit 1
+fi
+if [ -e "$OUTPUT" ]; then
+ echo "Path $OUTPUT already exists. Delete it and retry."
+ exit 1
+fi
+
+# Build the project with the Coverity analyzes enabled.
+mkdir -p "$BUILD_DIR"
+cd "$BUILD_DIR"
+cmake -G "$GENERATOR" "$ROOT_DIR"
+cov-build --dir cov-int "$BUILD_TOOL"
+$MKZIP "$OUTPUT" "cov-int"
+cd "$ROOT_DIR"
+rm -rf "$BUILD_DIR"
+