diff options
Diffstat (limited to 'pkgs/desktops/gnome-2/platform/gtkhtml/default.nix')
| -rw-r--r-- | pkgs/desktops/gnome-2/platform/gtkhtml/default.nix | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome-2/platform/gtkhtml/default.nix b/pkgs/desktops/gnome-2/platform/gtkhtml/default.nix new file mode 100644 index 000000000000..49161c1a7455 --- /dev/null +++ b/pkgs/desktops/gnome-2/platform/gtkhtml/default.nix @@ -0,0 +1,17 @@ +{ stdenv, fetchurl, pkgconfig, gtk, intltool, +GConf, enchant, isocodes, gnome_icon_theme }: + +stdenv.mkDerivation rec { + name = "gtkhtml-3.32.2"; + + src = fetchurl { + url = "mirror://gnome/sources/gtkhtml/3.32/${name}.tar.bz2"; + sha256 = "17z3jwvpn8waz7bhwrk7a6vs9pad6sqmlxxcqwvxxq89ywy0ail7"; + }; + + #From Debian, fixes build issue described here: + #http://www.mail-archive.com/debian-bugs-rc@lists.debian.org/msg250091.html + patches = [ ./01_remove-disable-deprecated.patch ]; + + buildInputs = [pkgconfig gtk intltool GConf enchant isocodes gnome_icon_theme ]; +} |