distro-configs/LibreOfficeCoverity.conf | 25 +++++++++++++++++++++++++
1 file changed, 25 insertions(+)
New commits:
commit 34d45edfd405c3e77dd9deb2c693af528751d3fa
Author: Caolán McNamara <caol...@redhat.com>
Date: Wed Jan 28 10:32:31 2015 +0000
add a reference configuration for coverity
Change-Id: I2dc149db36a5cfdbca63ea231425168fb799abe0
diff --git a/distro-configs/LibreOfficeCoverity.conf
b/distro-configs/LibreOfficeCoverity.conf
new file mode 100644
index 0000000..43e5748
--- /dev/null
+++ b/distro-configs/LibreOfficeCoverity.conf
@@ -0,0 +1,25 @@
+--enable-assert-always-abort
+--without-help
+--enable-gio
+--disable-gnome-vfs
+--without-myspell-dicts
+--disable-ccache
+--disable-gstreamer-0-10
+--enable-gstreamer-1-0
+--enable-option-checking=fatal
+--with-system-libs
+--with-system-headers
+--without-system-npapi-headers
+--without-system-libcmis
+--without-system-cppunit
+--without-system-libmwaw
+--enable-dbus
+--enable-extension-integration
+--enable-lockdown
+--enable-kde4
+--enable-evolution2
+--enable-scripting-beanshell
+--enable-scripting-javascript
+--enable-ext-wiki-publisher
+--enable-ext-nlpsolver
+--enable-online-update
_______________________________________________
Libreoffice-commits mailing list
libreoffice-comm...@lists.freedesktop.org
http://lists.freedesktop.org/mailman/listinfo/libreoffice-commits
