2019-03-03 19:37:06 +01:00
|
|
|
{ stdenv, meson, fetchurl, python3
|
2019-02-13 22:47:50 +01:00
|
|
|
, pkgconfig, gtk3, glib, adwaita-icon-theme
|
2019-03-03 19:37:06 +01:00
|
|
|
, libpeas, gtksourceview4, gsettings-desktop-schemas
|
2020-02-09 01:31:27 +01:00
|
|
|
, wrapGAppsHook, ninja, libsoup, tepl
|
|
|
|
, gnome3, gspell, perl, itstool, desktop-file-utils
|
|
|
|
}:
|
2016-09-18 21:35:23 +02:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2019-08-15 14:41:18 +02:00
|
|
|
pname = "gedit";
|
2020-05-03 15:14:30 +02:00
|
|
|
version = "3.36.2";
|
2018-02-25 21:07:20 +01:00
|
|
|
|
|
|
|
src = fetchurl {
|
2019-08-15 14:41:18 +02:00
|
|
|
url = "mirror://gnome/sources/gedit/${stdenv.lib.versions.majorMinor version}/${pname}-${version}.tar.xz";
|
2020-05-03 15:14:30 +02:00
|
|
|
sha256 = "15s1almlhjlgl3m8lxg6jpzln8jhgdxxjr635a3b7cf58d35b1v8";
|
2018-02-25 21:07:20 +01:00
|
|
|
};
|
|
|
|
|
2019-03-03 19:37:06 +01:00
|
|
|
nativeBuildInputs = [
|
2020-02-09 01:31:27 +01:00
|
|
|
pkgconfig wrapGAppsHook meson ninja
|
2019-03-03 19:37:06 +01:00
|
|
|
python3 perl itstool desktop-file-utils
|
|
|
|
];
|
2016-09-18 21:35:23 +02:00
|
|
|
|
2018-03-22 19:47:02 +01:00
|
|
|
buildInputs = [
|
|
|
|
gtk3 glib
|
2019-02-13 22:47:50 +01:00
|
|
|
adwaita-icon-theme libsoup
|
2019-03-03 19:37:06 +01:00
|
|
|
libpeas gtksourceview4
|
2019-02-13 22:47:50 +01:00
|
|
|
gsettings-desktop-schemas gspell
|
2020-02-09 01:31:27 +01:00
|
|
|
tepl
|
2018-03-22 19:47:02 +01:00
|
|
|
];
|
2016-09-18 21:35:23 +02:00
|
|
|
|
2019-03-03 19:37:06 +01: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 21:35:23 +02:00
|
|
|
|
2018-03-22 19:47:02 +01:00
|
|
|
passthru = {
|
|
|
|
updateScript = gnome3.updateScript {
|
|
|
|
packageName = "gedit";
|
|
|
|
attrPath = "gnome3.gedit";
|
|
|
|
};
|
|
|
|
};
|
2016-09-18 21:35:23 +02:00
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
2020-04-01 03:11:51 +02:00
|
|
|
homepage = "https://wiki.gnome.org/Apps/Gedit";
|
2016-09-18 21:35:23 +02:00
|
|
|
description = "Official text editor of the GNOME desktop environment";
|
2020-04-01 14:40:51 +02:00
|
|
|
maintainers = teams.gnome.members;
|
2016-09-18 21:35:23 +02:00
|
|
|
license = licenses.gpl2;
|
2020-04-08 07:04:12 +02:00
|
|
|
platforms = platforms.unix;
|
2016-09-18 21:35:23 +02:00
|
|
|
};
|
|
|
|
}
|