blob: 9d55f681173299a96b34ca1905d35dabffe01ed3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
--disable-c++17
--enable-assert-always-abort
--without-help
--enable-gio
--without-myspell-dicts
--disable-ccache
--disable-pdfium
--disable-gstreamer-0-10
--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-kde4
--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
|