distro-configs/LibreOfficeCoverity.conf

   1 --disable-c++17
   2 --enable-assert-always-abort
   3 --without-help
   4 --enable-gio
   5 --without-myspell-dicts
   6 --disable-ccache
   7 --disable-pdfium
   8 --disable-gstreamer-0-10
   9 --enable-gstreamer-1-0
  10 --enable-option-checking=fatal
  11 --with-system-libs
  12 --with-system-headers
  13 --with-system-ucpp
  14 --without-system-cppunit
  15 --enable-dbus
  16 --enable-extension-integration
  17 --enable-gtk3
  18 --enable-kde4
  19 --enable-evolution2
  20 --enable-scripting-beanshell
  21 --enable-scripting-javascript
  22 --enable-ext-wiki-publisher
  23 --enable-ext-nlpsolver
  24 --enable-online-update
  25 --with-system-hsqldb
  26 --with-hsqldb-jar=/home/coverity/hsqldb.jar
  27 --with-system-rhino
  28 --with-rhino-jar=/home/coverity/js.jar