2017-10-04 22:50:14 +01:00
|
|
|
{ stdenv, fetchurl, pkgconfig, libxml2, gnome3
|
2017-10-10 21:24:04 +01:00
|
|
|
, gnome_doc_utils, intltool, which, libuuid, vala
|
2016-09-18 20:35:23 +01:00
|
|
|
, desktop_file_utils, itstool, wrapGAppsHook, appdata-tools }:
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
inherit (import ./src.nix fetchurl) name src;
|
|
|
|
|
|
|
|
buildInputs = [ gnome3.gtk gnome3.gsettings_desktop_schemas gnome3.vte appdata-tools
|
2017-10-04 22:50:14 +01:00
|
|
|
gnome3.dconf itstool gnome3.nautilus ];
|
2016-09-18 20:35:23 +01:00
|
|
|
|
|
|
|
nativeBuildInputs = [ pkgconfig intltool gnome_doc_utils which libuuid libxml2
|
2017-10-10 21:24:04 +01:00
|
|
|
vala desktop_file_utils wrapGAppsHook ];
|
2016-09-18 20:35:23 +01:00
|
|
|
|
|
|
|
# Silly ./configure, it looks for dbus file from gnome-shell in the
|
|
|
|
# installation tree of the package it is configuring.
|
2016-10-01 10:19:20 +01:00
|
|
|
postPatch = ''
|
|
|
|
substituteInPlace configure --replace '$(eval echo $(eval echo $(eval echo ''${dbusinterfacedir})))/org.gnome.ShellSearchProvider2.xml' "${gnome3.gnome_shell}/share/dbus-1/interfaces/org.gnome.ShellSearchProvider2.xml"
|
|
|
|
substituteInPlace src/Makefile.in --replace '$(dbusinterfacedir)/org.gnome.ShellSearchProvider2.xml' "${gnome3.gnome_shell}/share/dbus-1/interfaces/org.gnome.ShellSearchProvider2.xml"
|
2016-09-18 20:35:23 +01:00
|
|
|
'';
|
|
|
|
|
|
|
|
# FIXME: enable for gnome3
|
|
|
|
configureFlags = [ "--disable-migration" ];
|
|
|
|
|
2016-10-01 23:04:58 +01:00
|
|
|
enableParallelBuilding = true;
|
|
|
|
|
2016-09-18 20:35:23 +01:00
|
|
|
meta = with stdenv.lib; {
|
|
|
|
description = "The GNOME Terminal Emulator";
|
|
|
|
homepage = https://wiki.gnome.org/Apps/Terminal/;
|
|
|
|
platforms = platforms.linux;
|
|
|
|
maintainers = gnome3.maintainers;
|
|
|
|
};
|
|
|
|
}
|