Summary: | [WPE] Add the WebKitVersion.h header | ||||||||
---|---|---|---|---|---|---|---|---|---|
Product: | WebKit | Reporter: | Zan Dobersek <zan> | ||||||
Component: | New Bugs | Assignee: | Zan Dobersek <zan> | ||||||
Status: | RESOLVED FIXED | ||||||||
Severity: | Normal | CC: | mcatanzaro, pnormand, webkit-bug-importer | ||||||
Priority: | P2 | Keywords: | InRadar | ||||||
Version: | WebKit Nightly Build | ||||||||
Hardware: | Unspecified | ||||||||
OS: | Unspecified | ||||||||
Attachments: |
|
Description
Zan Dobersek
2018-10-28 10:11:22 PDT
Created attachment 353260 [details]
Patch
Created attachment 353275 [details]
Patch for landing
Comment on attachment 353275 [details] Patch for landing Clearing flags on attachment: 353275 Committed r237541: <https://trac.webkit.org/changeset/237541> All reviewed patches have been landed. Closing bug. The generated header is not installed. I fixed it locally with: diff --git a/Source/WebKit/PlatformWPE.cmake b/Source/WebKit/PlatformWPE.cmake index 6668d36c0eb..86095d1ac5f 100644 --- a/Source/WebKit/PlatformWPE.cmake +++ b/Source/WebKit/PlatformWPE.cmake @@ -93,6 +93,7 @@ list(APPEND WebKit_DERIVED_SOURCES set(WPE_API_INSTALLED_HEADERS ${DERIVED_SOURCES_WPE_API_DIR}/WebKitEnumTypes.h + ${DERIVED_SOURCES_WPE_API_DIR}/WebKitVersion.h ${WEBKIT_DIR}/UIProcess/API/wpe/WebKitApplicationInfo.h ${WEBKIT_DIR}/UIProcess/API/wpe/WebKitAuthenticationRequest.h ${WEBKIT_DIR}/UIProcess/API/wpe/WebKitAutomationSession.h r? Ooops. Yes, r=me. |