diff options
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/gnome.scm | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index 12ecfa068b..cd4715b545 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -4634,6 +4634,15 @@ gnome-terminal, but can also be used to embed a console/terminal in games, editors, IDEs, etc.") (license license:lgpl2.1+))) +(define-public vte-with-gtk-4 + (package/inherit vte + (name "vte-with-gtk4") + (arguments (substitute-keyword-arguments (package-arguments vte) + ((#:configure-flags flags #~'()) + #~(cons* "-Dgtk4=true" "-Dgtk3=false" #$flags)))) + (propagated-inputs (modify-inputs (package-propagated-inputs vte) + (replace "gtk+" gtk))))) + (define-public vte-ng (package (inherit vte) |