pkgs/by-name/gt/gtkhtml/package.nix

   1 {
   2   lib,
   3   stdenv,
   4   fetchurl,
   5   fetchpatch,
   6   autoreconfHook,
   7   pkg-config,
   8   gtk3,
   9   intltool,
  10   gnome,
  11   adwaita-icon-theme,
  12   enchant,
  13   isocodes,
  14   gsettings-desktop-schemas,
  15 }:
  16
  17 stdenv.mkDerivation rec {
  18   pname = "gtkhtml";
  19   version = "4.10.0";
  20
  21   src = fetchurl {
  22     url = "mirror://gnome/sources/gtkhtml/${lib.versions.majorMinor version}/gtkhtml-${version}.tar.xz";
  23     hash = "sha256-yjtkJPssesXZy4/a+2kxj6LoJcnPbtF9HjjZsp5WBsM=";
  24   };
  25
  26   patches = [
  27     # Enables enchant2 support.
  28     # Upstream is dead, no further releases are coming.
  29     (fetchpatch {
  30       name = "enchant-2.patch";
  31       url = "https://aur.archlinux.org/cgit/aur.git/plain/enchant-2.patch?h=gtkhtml4&id=0218303a63d64c04d6483a6fe9bb55063fcfaa43";
  32       hash = "sha256-f0OToWGHZwxvqf+0qosfA9FfwJ/IXfjIPP5/WrcvArI=";
  33       extraPrefix = "";
  34     })
  35   ];
  36
  37   passthru = {
  38     updateScript = gnome.updateScript { packageName = "gtkhtml"; };
  39   };
  40
  41   nativeBuildInputs = [
  42     autoreconfHook
  43     pkg-config
  44     intltool
  45   ];
  46
  47   buildInputs = [
  48     gtk3
  49     adwaita-icon-theme
  50     gsettings-desktop-schemas
  51   ];
  52
  53   propagatedBuildInputs = [
  54     enchant
  55     isocodes
  56   ];
  57
  58   meta = with lib; {
  59     platforms = platforms.linux;
  60     maintainers = [ ];
  61   };
  62 }