From 267c6f2ac71f92999e969232431ba04678e7437e Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Mon, 15 Apr 2024 07:54:39 +0200 Subject: Adding upstream version 4:24.2.0. Signed-off-by: Daniel Baumann --- distro-configs/LibreOfficeCoverity.conf | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 distro-configs/LibreOfficeCoverity.conf (limited to 'distro-configs/LibreOfficeCoverity.conf') diff --git a/distro-configs/LibreOfficeCoverity.conf b/distro-configs/LibreOfficeCoverity.conf new file mode 100644 index 0000000000..29959e0078 --- /dev/null +++ b/distro-configs/LibreOfficeCoverity.conf @@ -0,0 +1,33 @@ +--enable-assert-always-abort +--without-latest-c++ +--without-help +--enable-gio +--without-myspell-dicts +--disable-ccache +--disable-pdfium +--disable-skia +--enable-gstreamer-1-0 +--enable-option-checking=fatal +--with-system-libs +--with-system-headers +--without-system-cppunit +--without-system-dragonbox +--without-system-frozen +--without-system-libfixmath +--enable-dbus +--enable-extension-integration +--enable-gtk3 +--enable-kf5 +--enable-evolution2 +--enable-scripting-beanshell +--enable-scripting-javascript +--enable-ext-wiki-publisher +--enable-ext-nlpsolver +--enable-online-update +--with-privacy-policy-url=https://enable-online-update +--with-system-hsqldb +--with-hsqldb-jar=/home/coverity/hsqldb.jar +--with-system-rhino +--with-rhino-jar=/home/coverity/js.jar +--with-system-lockfile +--enable-odk -- cgit v1.2.3