diff options
| author | Michal Klocek <michal.klocek@qt.io> | 2018-08-01 15:04:35 +0200 |
|---|---|---|
| committer | Michal Klocek <michal.klocek@qt.io> | 2018-08-09 09:39:56 +0000 |
| commit | db62139e1daea171e08d95592c63f663789d6391 (patch) | |
| tree | ddce513a2e74bf656466a6f83b57a8efbd3cbe18 /src/core/configure.json | |
| parent | e50fb187dc4467ac28a724e6ea9f2d51a1f131ba (diff) | |
Make WebChannel an optional feature
Add webengine-webchannel feature.
Change-Id: I600572180f8169aafe79cf0408527cc087d9a007
Reviewed-by: Jüri Valdmann <juri.valdmann@qt.io>
Diffstat (limited to 'src/core/configure.json')
| -rw-r--r-- | src/core/configure.json | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/core/configure.json b/src/core/configure.json index 3eb30dd74..aaebcc4a8 100644 --- a/src/core/configure.json +++ b/src/core/configure.json @@ -23,6 +23,7 @@ "webengine-webrtc": "boolean", "webengine-geolocation": "boolean", "webengine-v8-snapshot": "boolean", + "webengine-webchannel": "boolean", "alsa": { "type": "boolean", "name": "webengine-alsa" }, "pulseaudio": { "type": "boolean", "name": "webengine-pulseaudio" }, "ffmpeg": { "type": "enum", "name": "webengine-system-ffmpeg", "values": { "system": "yes", "qt": "no" } }, @@ -509,6 +510,13 @@ "autoDetect": "!features.webengine-embedded-build", "output": [ "privateFeature" ] }, + "webengine-webchannel": { + "label": "WebChannel support", + "purpose": "Provides QtWebChannel integration.", + "section": "WebEngine", + "condition": "module.webchannel", + "output": [ "publicFeature" ] + }, "webengine-proprietary-codecs": { "label": "Proprietary Codecs", "purpose": "Enables the use of proprietary codecs such as h.264/h.265 and MP3.", @@ -680,6 +688,7 @@ "webengine-webrtc", "webengine-system-ninja", "webengine-geolocation", + "webengine-webchannel", "webengine-v8-snapshot", { "type": "feature", |