2019-02-13 21:47:50 +00:00
|
|
|
{ stdenv, fetchurl, glib, gtk3, meson, ninja, pkgconfig, gnome3, gettext, itstool, libxml2, libarchive
|
2018-09-03 23:13:41 +01:00
|
|
|
, file, json-glib, python3, wrapGAppsHook, desktop-file-utils, libnotify, nautilus, glibcLocales }:
|
2016-09-18 20:35:23 +01:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2019-08-15 13:41:18 +01:00
|
|
|
pname = "file-roller";
|
2019-09-09 20:33:39 +01:00
|
|
|
version = "3.32.2";
|
2018-02-25 20:07:20 +00:00
|
|
|
|
|
|
|
src = fetchurl {
|
2019-08-15 13:41:18 +01:00
|
|
|
url = "mirror://gnome/sources/file-roller/${stdenv.lib.versions.majorMinor version}/${pname}-${version}.tar.xz";
|
2019-09-09 20:33:39 +01:00
|
|
|
sha256 = "0w8s6hakgsvb2nqwbv0lr8ki4cbf1pz5z3qwkb0b2k7ppbh7j2n6";
|
2018-02-25 20:07:20 +00:00
|
|
|
};
|
|
|
|
|
2018-03-14 00:39:32 +00:00
|
|
|
LANG = "en_US.UTF-8"; # postinstall.py
|
|
|
|
|
2018-09-03 23:13:41 +01:00
|
|
|
nativeBuildInputs = [ meson ninja gettext itstool pkgconfig libxml2 python3 wrapGAppsHook glibcLocales desktop-file-utils ];
|
2016-09-18 20:35:23 +01:00
|
|
|
|
2019-02-13 21:47:50 +00:00
|
|
|
buildInputs = [ glib gtk3 json-glib libarchive file gnome3.adwaita-icon-theme libnotify nautilus ];
|
2016-09-18 20:35:23 +01:00
|
|
|
|
2018-04-26 21:59:34 +01:00
|
|
|
PKG_CONFIG_LIBNAUTILUS_EXTENSION_EXTENSIONDIR = "${placeholder "out"}/lib/nautilus/extensions-3.0";
|
2016-09-18 20:35:23 +01:00
|
|
|
|
2018-03-14 00:39:32 +00:00
|
|
|
postPatch = ''
|
|
|
|
chmod +x postinstall.py # patchShebangs requires executable file
|
|
|
|
patchShebangs postinstall.py
|
2018-09-05 01:43:48 +01:00
|
|
|
patchShebangs data/set-mime-type-entry.py
|
2018-03-14 00:39:32 +00:00
|
|
|
'';
|
|
|
|
|
|
|
|
passthru = {
|
|
|
|
updateScript = gnome3.updateScript {
|
|
|
|
packageName = "file-roller";
|
|
|
|
attrPath = "gnome3.file-roller";
|
|
|
|
};
|
|
|
|
};
|
2016-09-18 20:35:23 +01:00
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
|
|
|
homepage = https://wiki.gnome.org/Apps/FileRoller;
|
|
|
|
description = "Archive manager for the GNOME desktop environment";
|
2018-03-14 00:39:32 +00:00
|
|
|
license = licenses.gpl2Plus;
|
2016-09-18 20:35:23 +01:00
|
|
|
platforms = platforms.linux;
|
|
|
|
maintainers = gnome3.maintainers;
|
|
|
|
};
|
|
|
|
}
|