]> git.pld-linux.org Git - packages/gtk-webkit4.git/commitdiff
- adjusted parallel-gir patch to fix build with -j1
authorJakub Bogusz <qboosh@pld-linux.org>
Sun, 9 Jul 2023 05:40:30 +0000 (07:40 +0200)
committerJakub Bogusz <qboosh@pld-linux.org>
Sun, 9 Jul 2023 05:40:30 +0000 (07:40 +0200)
parallel-gir.patch

index ab5ccc2965d23c0907dfc33b7c8dfb4ce03e2df2..ec5658eb383bac4155861cecb4e2bc6c90309635 100644 (file)
@@ -32,6 +32,15 @@ diff --git a/Source/cmake/FindGI.cmake b/Source/cmake/FindGI.cmake
 index fdc56b21b148..6b636af69a28 100644
 --- a/Source/cmake/FindGI.cmake
 +++ b/Source/cmake/FindGI.cmake
+@@ -265,7 +265,7 @@ function(GI_INTROSPECT namespace nsversi
+             get_property(dep_gir_lib TARGET "gir-${dep}" PROPERTY GI_GIR_LIBRARY)
+             if (dep_gir_path)
+                 list(APPEND scanner_flags "--include-uninstalled=${dep_gir_path}")
+-                list(APPEND gir_deps "${dep_gir_path}")
++                list(APPEND gir_deps "gir-${dep}")
+             else ()
+                 message(AUTHOR_WARNING
+                     "Target '${dep}' listed as a dependency but it has not "
 @@ -376,7 +376,7 @@ function(GI_INTROSPECT namespace nsversion header)
      add_custom_command(
          OUTPUT "${typ_path}"
This page took 0.356259 seconds and 4 git commands to generate.