diff options
| author | Robin Gloster <mail@glob.in> | 2016-08-05 19:05:10 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-08-05 19:05:10 +0200 |
| commit | 7599964915fe487538d70653e25218a30f404007 (patch) | |
| tree | 8fab1e0b0a30b24a0e14aea6f61927102a48299c | |
| parent | 19158a60cf26749ff2e26f7a949a20364d802026 (diff) | |
| parent | d46d0c4bb1b04c01bb67294f7de67ed7fe6c3207 (diff) | |
| download | nixlib-7599964915fe487538d70653e25218a30f404007.tar nixlib-7599964915fe487538d70653e25218a30f404007.tar.gz nixlib-7599964915fe487538d70653e25218a30f404007.tar.bz2 nixlib-7599964915fe487538d70653e25218a30f404007.tar.lz nixlib-7599964915fe487538d70653e25218a30f404007.tar.xz nixlib-7599964915fe487538d70653e25218a30f404007.tar.zst nixlib-7599964915fe487538d70653e25218a30f404007.zip | |
Merge pull request #17518 from juliendehos/gtksourceviewmm
gtksourceviewmm: init at 3.18.0
| -rw-r--r-- | pkgs/desktops/gnome-3/3.20/core/gtksourceviewmm/default.nix | 16 | ||||
| -rw-r--r-- | pkgs/desktops/gnome-3/3.20/core/gtksourceviewmm/src.nix | 11 | ||||
| -rw-r--r-- | pkgs/desktops/gnome-3/3.20/default.nix | 2 |
3 files changed, 29 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome-3/3.20/core/gtksourceviewmm/default.nix b/pkgs/desktops/gnome-3/3.20/core/gtksourceviewmm/default.nix new file mode 100644 index 000000000000..d0453ba8ebbf --- /dev/null +++ b/pkgs/desktops/gnome-3/3.20/core/gtksourceviewmm/default.nix @@ -0,0 +1,16 @@ +{ stdenv, fetchurl, pkgconfig, gtkmm, glibmm, gtksourceview }: + +stdenv.mkDerivation rec { + inherit (import ./src.nix fetchurl) name src; + + buildInputs = [ pkgconfig glibmm gtkmm gtksourceview ]; + + meta = with stdenv.lib; { + platforms = platforms.linux; + homepage = "https://developer.gnome.org/gtksourceviewmm/"; + description = "C++ wrapper for gtksourceview"; + license = licenses.lgpl2; + maintainers = [ maintainers.juliendehos ]; + }; +} + diff --git a/pkgs/desktops/gnome-3/3.20/core/gtksourceviewmm/src.nix b/pkgs/desktops/gnome-3/3.20/core/gtksourceviewmm/src.nix new file mode 100644 index 000000000000..21fecfdc48af --- /dev/null +++ b/pkgs/desktops/gnome-3/3.20/core/gtksourceviewmm/src.nix @@ -0,0 +1,11 @@ +# Autogenerated by maintainers/scripts/gnome.sh update + +fetchurl: { + name = "gtksourceviewmm-3.18.0"; + + src = fetchurl { + url = mirror://gnome/sources/gtksourceviewmm/3.18/gtksourceviewmm-3.18.0.tar.xz; + sha256 = "51081ae3d37975dae33d3f6a40621d85cb68f4b36ae3835eec1513482aacfb39"; + }; +} + diff --git a/pkgs/desktops/gnome-3/3.20/default.nix b/pkgs/desktops/gnome-3/3.20/default.nix index 6e7b16e77333..babbed37cc01 100644 --- a/pkgs/desktops/gnome-3/3.20/default.nix +++ b/pkgs/desktops/gnome-3/3.20/default.nix @@ -173,6 +173,8 @@ let gtksourceview = callPackage ./core/gtksourceview { }; + gtksourceviewmm = callPackage ./core/gtksourceviewmm { }; + gucharmap = callPackage ./core/gucharmap { }; gvfs = pkgs.gvfs.override { gnome = gnome3; gnomeSupport = true; }; |