2019-03-03 10:37:06 -08:00
|
|
|
{ stdenv, meson, fetchurl, python3
|
2019-02-13 13:47:50 -08:00
|
|
|
, pkgconfig, gtk3, glib, adwaita-icon-theme
|
2019-03-03 10:37:06 -08:00
|
|
|
, libpeas, gtksourceview4, gsettings-desktop-schemas
|
2020-02-08 16:31:27 -08:00
|
|
|
, wrapGAppsHook, ninja, libsoup, tepl
|
|
|
|
, gnome3, gspell, perl, itstool, desktop-file-utils
|
|
|
|
}:
|
2016-09-18 12:35:23 -07:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2019-08-15 05:41:18 -07:00
|
|
|
pname = "gedit";
|
2020-04-07 22:04:12 -07:00
|
|
|
version = "3.36.1";
|
2018-02-25 12:07:20 -08:00
|
|
|
|
|
|
|
src = fetchurl {
|
2019-08-15 05:41:18 -07:00
|
|
|
url = "mirror://gnome/sources/gedit/${stdenv.lib.versions.majorMinor version}/${pname}-${version}.tar.xz";
|
2020-04-07 22:04:12 -07:00
|
|
|
sha256 = "11z3lhc5i3z0gqw0qmprsm4rmvhbbm4gz6wy0f73c73x4bd8xhvd";
|
2018-02-25 12:07:20 -08:00
|
|
|
};
|
|
|
|
|
2019-03-03 10:37:06 -08:00
|
|
|
nativeBuildInputs = [
|
2020-02-08 16:31:27 -08:00
|
|
|
pkgconfig wrapGAppsHook meson ninja
|
2019-03-03 10:37:06 -08:00
|
|
|
python3 perl itstool desktop-file-utils
|
|
|
|
];
|
2016-09-18 12:35:23 -07:00
|
|
|
|
2018-03-22 11:47:02 -07:00
|
|
|
buildInputs = [
|
|
|
|
gtk3 glib
|
2019-02-13 13:47:50 -08:00
|
|
|
adwaita-icon-theme libsoup
|
2019-03-03 10:37:06 -08:00
|
|
|
libpeas gtksourceview4
|
2019-02-13 13:47:50 -08:00
|
|
|
gsettings-desktop-schemas gspell
|
2020-02-08 16:31:27 -08:00
|
|
|
tepl
|
2018-03-22 11:47:02 -07:00
|
|
|
];
|
2016-09-18 12:35:23 -07:00
|
|
|
|
2019-03-03 10:37:06 -08:00
|
|
|
postPatch = ''
|
|
|
|
chmod +x build-aux/meson/post_install.py
|
|
|
|
chmod +x plugins/externaltools/scripts/gedit-tool-merge.pl
|
|
|
|
patchShebangs build-aux/meson/post_install.py
|
|
|
|
patchShebangs plugins/externaltools/scripts/gedit-tool-merge.pl
|
|
|
|
'';
|
|
|
|
|
|
|
|
# Reliably fails to generate gedit-file-browser-enum-types.h in time
|
|
|
|
enableParallelBuilding = false;
|
2016-09-18 12:35:23 -07:00
|
|
|
|
2018-03-22 11:47:02 -07:00
|
|
|
passthru = {
|
|
|
|
updateScript = gnome3.updateScript {
|
|
|
|
packageName = "gedit";
|
|
|
|
attrPath = "gnome3.gedit";
|
|
|
|
};
|
|
|
|
};
|
2016-09-18 12:35:23 -07:00
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
2020-03-31 18:11:51 -07:00
|
|
|
homepage = "https://wiki.gnome.org/Apps/Gedit";
|
2016-09-18 12:35:23 -07:00
|
|
|
description = "Official text editor of the GNOME desktop environment";
|
2020-04-01 05:40:51 -07:00
|
|
|
maintainers = teams.gnome.members;
|
2016-09-18 12:35:23 -07:00
|
|
|
license = licenses.gpl2;
|
2020-04-07 22:04:12 -07:00
|
|
|
platforms = platforms.unix;
|
2016-09-18 12:35:23 -07:00
|
|
|
};
|
|
|
|
}
|