office-gobmx/distro-configs/LibreOfficeCoverity.conf
Jan-Marek Glogowski d3c6ac6d0f tdf#125922 rename kde5 to kf5 + plasma5
Just as the gtk3 plugin isn't named GNOME, rename kde5 to kf5, as
it is based on the KDE frameworks 5 libraries.

This also includes:
* a convenience alias to load the kf5 VCL plugin in case someone
  requests the kde5 plugin.
* keep convenience kde5 configure switch, but warn about it
* rename detected desktop from kde5 to plasma5

Change-Id: I6764a05b81a5edbf284484c234fee2649aacf735
Reviewed-on: https://gerrit.libreoffice.org/75313
Tested-by: Jenkins
Reviewed-by: Jan-Marek Glogowski <glogow@fbihome.de>
2019-07-21 23:22:46 +02:00

26 lines
603 B
Text

--enable-assert-always-abort
--without-help
--enable-gio
--without-myspell-dicts
--disable-ccache
--disable-pdfium
--enable-gstreamer-1-0
--enable-option-checking=fatal
--with-system-libs
--with-system-headers
--with-system-ucpp
--without-system-cppunit
--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-system-hsqldb
--with-hsqldb-jar=/home/coverity/hsqldb.jar
--with-system-rhino
--with-rhino-jar=/home/coverity/js.jar