2018-12-02 22:18:48 +00:00
|
|
|
{ stdenv, fetchurl, pkgconfig, gtkmm3, glibmm, gtksourceview3, gnome3 }:
|
2016-09-18 20:35:23 +01:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2019-08-15 13:41:18 +01:00
|
|
|
pname = "gtksourceviewmm";
|
2018-03-13 01:03:18 +00:00
|
|
|
version = "3.21.3";
|
2018-02-25 20:07:20 +00:00
|
|
|
|
|
|
|
src = fetchurl {
|
2019-08-15 13:41:18 +01:00
|
|
|
url = "mirror://gnome/sources/gtksourceviewmm/${stdenv.lib.versions.majorMinor version}/${pname}-${version}.tar.xz";
|
2018-03-13 01:03:18 +00:00
|
|
|
sha256 = "1danc9mp5mnb65j01qxkwj92z8jf1gns41wbgp17qh7050f0pc6v";
|
2018-02-25 20:07:20 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
passthru = {
|
2018-11-20 20:03:10 +00:00
|
|
|
updateScript = gnome3.updateScript {
|
|
|
|
packageName = "gtksourceviewmm";
|
|
|
|
versionPolicy = "none";
|
|
|
|
};
|
2018-02-25 20:07:20 +00:00
|
|
|
};
|
2016-09-18 20:35:23 +01:00
|
|
|
|
2017-09-05 22:26:13 +01:00
|
|
|
nativeBuildInputs = [ pkgconfig ];
|
2018-12-02 22:18:48 +00:00
|
|
|
buildInputs = [ glibmm gtkmm3 gtksourceview3 ];
|
2016-09-18 20:35:23 +01:00
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
|
|
|
platforms = platforms.linux;
|
2020-04-01 02:11:51 +01:00
|
|
|
homepage = "https://developer.gnome.org/gtksourceviewmm/";
|
2016-09-18 20:35:23 +01:00
|
|
|
description = "C++ wrapper for gtksourceview";
|
|
|
|
license = licenses.lgpl2;
|
|
|
|
maintainers = [ maintainers.juliendehos ];
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|