From 4573b6a9e140b51facf92f3b7f586b60abd98650 Mon Sep 17 00:00:00 2001
From: Sylvestre Ledru <sylvestre@debian.org>
Date: Mon, 10 Jul 2023 18:14:55 +0200
Subject: [PATCH] add back coverity to unbreak the ci

---
 debian/rules | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/debian/rules b/debian/rules
index 38ba911f..abb32c68 100755
--- a/debian/rules
+++ b/debian/rules
@@ -367,6 +367,23 @@ ifneq (,$(filter scan-build,$(DEB_BUILD_OPTIONS)))
 	STAGE_ALL_CMAKE_EXTRA += -DLLVM_ENABLE_ASSERTIONS=ON
 endif
 
+ifneq (,$(filter coverity,$(DEB_BUILD_OPTIONS)))
+# enable the build using coverity
+# pbuilder contains BINDMOUNTS="/opt/cov-analysis/"
+# And we have some pbuilder hooks to configure and pack the result
+# Where the binaries are installed on the jenkins instance
+        PRE_PROCESS=PATH=$$PATH:/opt/cov-analysis/bin/ cov-build --dir cov-int
+# We don't want to check the temporary files produced by the configure
+        PRE_PROCESS_CONF=
+        COVERITY_ENABLE=1
+        CONFIGURE_EXTRA += --enable-assertions
+        STAGE_ALL_CMAKE_EXTRA += -DLLVM_ENABLE_ASSERTIONS=ON
+# no need to run tests in this case
+        RUN_TEST=no
+else
+        COVERITY_ENABLE=0
+endif
+
 LLDB_ENABLE=yes
 LLDB_DISABLE_ARCHS := hurd-i386 ia64 powerpc powerpcspe ppc64 riscv64 sparc64 mips64el mipsel
 # hurd has threading issues