diff --git a/gnome/devhelp/Portfile b/gnome/devhelp/Portfile index d218b2be2bb..0dc9fe3d9e7 100644 --- a/gnome/devhelp/Portfile +++ b/gnome/devhelp/Portfile @@ -5,7 +5,7 @@ PortGroup meson 1.0 name devhelp version 3.38.1 -revision 1 +revision 2 license GPL-2+ description Devhelp is an API documentation browser for GTK+ and GNOME. long_description Devhelp is an API documentation browser for GTK+ and GNOME. It works \ @@ -38,12 +38,13 @@ depends_lib port:amtk \ path:lib/pkgconfig/gobject-introspection-1.0.pc:gobject-introspection \ port:gsettings-desktop-schemas \ path:lib/pkgconfig/gtk+-3.0.pc:gtk3 \ - path:lib/pkgconfig/webkit2gtk-4.0.pc:webkit2-gtk + path:lib/pkgconfig/webkit2gtk-4.1.pc:webkit2-gtk depends_run port:adwaita-icon-theme patchfiles dont-use-version-script.patch \ - meson-0.61.patch + meson-0.61.patch \ + patch-meson-webkit2gtk-4.1.diff configure.args -Dgtk_doc=true diff --git a/gnome/devhelp/files/patch-meson-webkit2gtk-4.1.diff b/gnome/devhelp/files/patch-meson-webkit2gtk-4.1.diff new file mode 100644 index 00000000000..6aabec14e69 --- /dev/null +++ b/gnome/devhelp/files/patch-meson-webkit2gtk-4.1.diff @@ -0,0 +1,34 @@ +--- meson.build.orig ++++ meson.build +@@ -49,7 +49,7 @@ + LIBDEVHELP_PUBLIC_DEPS = [ + dependency('gio-2.0', version: '>= 2.64'), + dependency('gtk+-3.0', version: '>= 3.22'), +- dependency('webkit2gtk-4.0', version: '>= 2.26'), ++ dependency('webkit2gtk-4.1', version: '>= 2.26'), + ] + LIBDEVHELP_PRIVATE_DEPS = [ + dependency('gsettings-desktop-schemas'), +--- devhelp/meson.build.orig ++++ devhelp/meson.build +@@ -126,7 +126,7 @@ + header: 'devhelp/devhelp.h', + identifier_prefix: 'Dh', + include_directories: ROOT_INCLUDE_DIR, +- includes: ['Gtk-3.0', 'WebKit2-4.0'], ++ includes: ['Gtk-3.0', 'WebKit2-4.1'], + install: true, + namespace: 'Devhelp', + nsversion: LIBDEVHELP_API_VERSION_FULL, +--- docs/reference/meson.build.orig ++++ docs/reference/meson.build +@@ -13,7 +13,7 @@ + gobject_docpath = dependency('gobject-2.0').get_pkgconfig_variable('prefix') / 'share/gtk-doc/html/gobject' + gio_docpath = dependency('gio-2.0').get_pkgconfig_variable('prefix') / 'share/gtk-doc/html/gio' + gtk_docpath = dependency('gtk+-3.0').get_pkgconfig_variable('prefix') / 'share/gtk-doc/html/gtk3' +-webkitgtk_docpath = dependency('webkit2gtk-4.0').get_pkgconfig_variable('prefix') / 'share/gtk-doc/html/webkit2gtk-4.0' ++webkitgtk_docpath = dependency('webkit2gtk-4.1').get_pkgconfig_variable('prefix') / 'share/gtk-doc/html/webkit2gtk-4.1' + + GNOME.gtkdoc( + gtkdoc_module_name, +