Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Upgrade WebKitGTK to v4.1 #610

Merged
merged 2 commits into from
Jan 7, 2025
Merged

Upgrade WebKitGTK to v4.1 #610

merged 2 commits into from
Jan 7, 2025

Conversation

rdw-software
Copy link
Member

@rdw-software rdw-software commented Dec 27, 2024

The 4.0 development headers seem to no longer be available in the latest Ubuntu release supported by GitHub.

Edit: This will require upgrading the webview library, which breaks the GTK extensions. Postponed for now.

@rdw-software rdw-software marked this pull request as draft December 27, 2024 15:39
@rdw-software rdw-software marked this pull request as ready for review January 6, 2025 23:28
The 4.0 development headers seem to no longer be available in the latest Ubuntu release supported by GitHub.
The pattern used to add shared libraries is clearly broken. If it had  worked, there would've been no need to list the libraries manually...

I don't know what happened here, but I'll let pkg-config handle this part until a better solution is required.
@rdw-software rdw-software changed the title Upgrade webkit2gtk to v4.1 Upgrade WebKitGTK to v4.1 Jan 7, 2025
@rdw-software rdw-software merged commit 529b8a6 into main Jan 7, 2025
10 checks passed
@rdw-software rdw-software deleted the webkit-gtk-update branch January 7, 2025 00:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant