Bug 282643
| Summary: | [GStreamer] ENABLE_WEB_CODECS should imply USE_GSTREAMER | ||
|---|---|---|---|
| Product: | WebKit | Reporter: | Michael Catanzaro <mcatanzaro> |
| Component: | WebKitGTK | Assignee: | Michael Catanzaro <mcatanzaro> |
| Status: | RESOLVED FIXED | ||
| Severity: | Normal | CC: | bugs-noreply, mcatanzaro |
| Priority: | P2 | ||
| Version: | Other | ||
| Hardware: | PC | ||
| OS: | Linux | ||
Michael Catanzaro
ENABLE_WEB_CODECS should imply USE_GSTREAMER, otherwise the build is going to fail
| Attachments | ||
|---|---|---|
| Add attachment proposed patch, testcase, etc. |
Michael Catanzaro
P.S. I'm tempted to expose USE_GSTREAMER as a public option, which would toggle all three of ENABLE_VIDEO, ENABLE_WEB_AUDIO, and ENABLE_WEB_CODECS (plus the various options that depend on those, like ENABLE_WEB_RTC, ENABLE_MEDIA_SOURCE, etc.) since "build without GStreamer" is what people actually want to do when messing with these options, and it's easier to set one option rather than three.
Michael Catanzaro
Pull request: https://github.com/WebKit/WebKit/pull/36217
EWS
Committed 286240@main (b28207be0b1d): <https://commits.webkit.org/286240@main>
Reviewed commits have been landed. Closing PR #36217 and removing active labels.