blob: 5b39bfd8bcd9d31c3a107f3debe28ad80e343858 (
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
|
--enable-assert-always-abort
--without-latest-c++
--without-help
--enable-gio
--without-myspell-dicts
--disable-ccache
--disable-pdfium
--disable-skia
--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-kf5
--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
|
