void-packages/srcpkgs/anjuta/patches/fix-webkit2gtk-detection.patch

12 lines
384 B
Diff

--- a/configure.ac 2019-09-08 19:33:57.000000000 +0200
+++ b/configure.ac 2023-02-01 22:41:54.639943897 +0100
@@ -246,7 +246,7 @@
*webkit2gtk-3.0*)
AC_DEFINE([HAVE_WEBKIT2], [1], [Defined if devhelp is built against webkitgtk2])
;;
- *webkit2gtk-4.0*)
+ *webkit2gtk-4.*)
AC_DEFINE([HAVE_WEBKIT2], [1], [Defined if devhelp is built against webkitgtk2])
;;
esac