]> git.pld-linux.org Git - packages/gtk-webkit4.git/blame - gtk-webkit4-gir.patch
- updated to 2.38.5
[packages/gtk-webkit4.git] / gtk-webkit4-gir.patch
CommitLineData
c1d5b85e
JB
1#--- webkitgtk-2.38.5/Source/WebKit/PlatformGTK.cmake.orig 2022-09-14 13:58:10.556863500 +0200
2#+++ webkitgtk-2.38.5/Source/WebKit/PlatformGTK.cmake 2023-04-22 19:21:53.186764446 +0200
3#@@ -764,3 +764,6 @@ GI_INTROSPECT(WebKit2WebExtension ${WEBK
4# GI_DOCGEN(WebKit2WebExtension gtk/webkit2gtk-webextension.toml.in
5# CONTENT_TEMPLATES gtk/urlmap.js
6# )
7#+
8#+add_dependencies(gir-WebKit2 gir-JavaScriptCore)
9#+add_dependencies(gir-WebKit2WebExtension gir-JavaScriptCore)
10--- webkitgtk-2.38.5/Source/cmake/FindGI.cmake.orig 2023-02-14 10:01:07.457508800 +0100
11+++ webkitgtk-2.38.5/Source/cmake/FindGI.cmake 2023-04-22 19:21:53.186764446 +0200
12@@ -265,7 +265,7 @@ function(GI_INTROSPECT namespace nsversi
13 get_property(dep_gir_lib TARGET "gir-${dep}" PROPERTY GI_GIR_LIBRARY)
14 if (dep_gir_path)
15 list(APPEND scanner_flags "--include-uninstalled=${dep_gir_path}")
16- list(APPEND gir_deps "${dep_gir_path}")
17+ list(APPEND gir_deps "gir-${dep}")
18 else ()
19 message(AUTHOR_WARNING
20 "Target '${dep}' listed as a dependency but it has not "
This page took 0.203159 seconds and 4 git commands to generate.