summaryrefslogtreecommitdiffstats
path: root/distro-configs/LibreOfficeCoverity.conf
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--distro-configs/LibreOfficeCoverity.conf32
1 files changed, 32 insertions, 0 deletions
diff --git a/distro-configs/LibreOfficeCoverity.conf b/distro-configs/LibreOfficeCoverity.conf
new file mode 100644
index 000000000..0f8ae9c56
--- /dev/null
+++ b/distro-configs/LibreOfficeCoverity.conf
@@ -0,0 +1,32 @@
+--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-idlc-cpp=cpp
+--with-system-libs
+--with-system-headers
+--without-system-cppunit
+--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