diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-05-01 18:16:35 +0200 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-05-01 18:16:35 +0200 |
| commit | 66cd01cf14c5019864a98144795ae2299087f6f7 (patch) | |
| tree | 3e8abff433f5110a061df5af94ed0ffccd04451d | |
| parent | 63ba4fd1886398e63e8357b0b880d319ef749875 (diff) | |
gnu: webkitgtk-for-gtk3: Adjust configure flags.gnome-team
With WebkitGTK 2.44, USE_GTK4 is the new default, so we have to explicitly
disable it. Also, let's attempt to enable introspection for GTK 3 builds, it
has been a major release since we disabled them…
* gnu/packages/webkit.scm (webkitgtk-for-gtk3)[#:configure-flags]: Add
“-DUSE_GTK4=OFF”. Retain “-DENABLE_INTROSPECTION=ON”.
| -rw-r--r-- | gnu/packages/webkit.scm | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gnu/packages/webkit.scm b/gnu/packages/webkit.scm index a3a811fa6f..b71e7e3e29 100644 --- a/gnu/packages/webkit.scm +++ b/gnu/packages/webkit.scm @@ -296,9 +296,8 @@ propagated by default) such as @code{gst-plugins-good} and (arguments (substitute-keyword-arguments (package-arguments webkitgtk) ((#:configure-flags flags) - #~(cons* "-DENABLE_GTKDOC=ON" - (delete "-DENABLE_INTROSPECTION=ON" - (delete "-DUSE_GTK4=ON" #$flags)))))) + #~(cons* "-DUSE_GTK4=OFF" + (delete "-DUSE_GTK4=ON" #$flags))))) (propagated-inputs (modify-inputs (package-propagated-inputs webkitgtk) (replace "gtk" gtk+))) |