diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 09:06:44 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 09:06:44 +0000 |
| commit | ed5640d8b587fbcfed7dd7967f3de04b37a76f26 (patch) | |
| tree | 7a5f7c6c9d02226d7471cb3cc8fbbf631b415303 /distro-configs/LibreOfficeCoverity.conf | |
| parent | Initial commit. (diff) | |
| download | libreoffice-ed5640d8b587fbcfed7dd7967f3de04b37a76f26.tar.xz libreoffice-ed5640d8b587fbcfed7dd7967f3de04b37a76f26.zip | |
Adding upstream version 4:7.4.7.upstream/4%7.4.7upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'distro-configs/LibreOfficeCoverity.conf')
| -rw-r--r-- | distro-configs/LibreOfficeCoverity.conf | 32 |
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 |