diff options
author | Pol Dellaiera <pol.dellaiera@protonmail.com> | 2024-05-05 22:06:02 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-05-05 22:06:02 +0200 |
commit | 80dd7b2634fc37f9501b6d039185823fedbe8e49 (patch) | |
tree | 2c1ff79fdf5970226bc637ae79928a3e27db7d87 /pkgs/applications/misc | |
parent | a91ef9edbc543f525b231ce4e185bee26836a8ce (diff) | |
parent | 9c4bbf09fb327c11b217d92dae1b36e2b86aa877 (diff) |
Merge pull request #309290 from eclairevoyant/font-manager-fix
font-manager: fix build with newer vala
Diffstat (limited to 'pkgs/applications/misc')
-rw-r--r-- | pkgs/applications/misc/font-manager/default.nix | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/pkgs/applications/misc/font-manager/default.nix b/pkgs/applications/misc/font-manager/default.nix index 9568c0c929b0a..95594cb030d06 100644 --- a/pkgs/applications/misc/font-manager/default.nix +++ b/pkgs/applications/misc/font-manager/default.nix @@ -16,6 +16,7 @@ , gtk3 , gnome , desktop-file-utils +, fetchpatch2 , wrapGAppsHook3 , gobject-introspection # withWebkit enables the "webkit" feature, also known as Google Fonts @@ -33,6 +34,16 @@ stdenv.mkDerivation rec { hash = "sha256-M13Q9d2cKhc0tudkvw0zgqPAFTlmXwK+LltXeuDPWxo="; }; + patches = [ + # see https://github.com/FontManager/font-manager/issues/355 + # should be removed on next release + (fetchpatch2 { + name = "fix-build-with-newer-vala.patch"; + url = "https://github.com/FontManager/font-manager/commit/600f498946c3904064b4e4fdf96e5841f6a827e4.patch"; + hash = "sha256-DC9+pvG88t+PPdGQ2oemeEYK9PaD0C2yWBYYCh4Wn9g="; + }) + ]; + nativeBuildInputs = [ pkg-config meson |