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 --disable-gstreamer-0-10
   8 --enable-gstreamer-1-0
   9 --enable-option-checking=fatal
  10 --with-system-libs
  11 --with-system-headers
  12 --without-system-libcmis
  13 --without-system-cppunit
  14 --without-system-libmwaw
  15 --enable-dbus
  16 --enable-extension-integration
  17 --enable-kde4
  18 --enable-evolution2
  19 --enable-scripting-beanshell
  20 --enable-scripting-javascript
  21 --enable-ext-wiki-publisher
  22 --enable-ext-nlpsolver
  23 --enable-online-update
  24 --with-system-hsqldb
  25 --with-hsqldb-jar=/home/coverity/hsqldb.jar
  26 --with-system-rhino
  27 --with-rhino-jar=/home/coverity/js.jar