3de3f660af
there was a system Java-WebSocket in Fedora 35, f.e. but unaware if this is actively packaged standalone in contemporary distros, but useful for the coverity build case. Change-Id: Id6393dbfb1c449b75391752a8bb5e5ea4481a084 Reviewed-on: https://gerrit.libreoffice.org/c/core/+/173725 Tested-by: Jenkins Reviewed-by: Caolán McNamara <caolan.mcnamara@collabora.com>
35 lines
879 B
Text
35 lines
879 B
Text
--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
|
|
--without-system-cppunit
|
|
--without-system-dragonbox
|
|
--without-system-frozen
|
|
--without-system-libfixmath
|
|
--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-privacy-policy-url=https://enable-online-update
|
|
--with-system-hsqldb
|
|
--with-hsqldb-jar=/home/coverity/hsqldb.jar
|
|
--with-system-rhino
|
|
--with-rhino-jar=/home/coverity/js.jar
|
|
--with-system-java-websocket
|
|
--with-java-websocket-jar=/home/coverity/Java-WebSocket.jar
|
|
--with-system-lockfile
|
|
--enable-odk
|