distro-configs/LibreOfficeCoverity.conf

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