gtk-webkit4-gir.patch

   1 --- webkitgtk-2.24.1/Source/WebKit/PlatformGTK.cmake.orig       2019-04-08 11:30:53.000000000 +0200
   2 +++ webkitgtk-2.24.1/Source/WebKit/PlatformGTK.cmake    2019-04-22 09:07:32.025569199 +0200
   3 @@ -855,6 +855,11 @@
   4
   5      ADD_TYPELIB(${CMAKE_BINARY_DIR}/WebKit2-${WEBKITGTK_API_VERSION}.typelib)
   6      ADD_TYPELIB(${CMAKE_BINARY_DIR}/WebKit2WebExtension-${WEBKITGTK_API_VERSION}.typelib)
   7 +
   8 +    # ${CMAKE_BINARY_DIR}/JavaScriptCore-${WEBKITGTK_API_VERSION}.gir is created from different directory
   9 +    # so cmake needs top-level target dependency
  10 +    # note: NAME_WE cuts all extensions, so WebKit2-${WEBKITGTK_API_VERSION}.gir becomes WebKit2-4 not WebKit2-4.0
  11 +    add_dependencies(WebKit2-4-gir JavaScriptCore-4-gir)
  12  endif ()
  13
  14  install(TARGETS webkit2gtkinjectedbundle