3
0
Fork 0
forked from mirrors/nixpkgs

font-manager: 0.7.3 → 0.7.3.1

Switch to fresher vala
This commit is contained in:
Jan Tojnar 2018-08-30 01:20:59 +02:00
parent e25a73857b
commit 9a4240f8fb
No known key found for this signature in database
GPG key ID: 7FAB2A15F7A607A4

View file

@ -1,17 +1,17 @@
{ stdenv, fetchFromGitHub, automake, autoconf, libtool, { stdenv, fetchFromGitHub, automake, autoconf, libtool,
pkgconfig, file, intltool, libxml2, json-glib , sqlite, itstool, pkgconfig, file, intltool, libxml2, json-glib , sqlite, itstool,
librsvg, vala_0_34, gnome3, wrapGAppsHook, gobjectIntrospection librsvg, vala, gnome3, wrapGAppsHook, gobjectIntrospection
}: }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "font-manager-${version}"; name = "font-manager-${version}";
version = "0.7.3"; version = "0.7.3.1";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "FontManager"; owner = "FontManager";
repo = "master"; repo = "master";
rev = version; rev = version;
sha256 = "0qwi1mn2sc2q5cs28rga8i3cn34ylybs949vjnh97dl2rvlc0x06"; sha256 = "0i65br0bk3r6x8wcl8jhc0v0agl0k6fy5g60ss1bnw4md7ldpgyi";
}; };
nativeBuildInputs = [ nativeBuildInputs = [
@ -19,7 +19,8 @@ stdenv.mkDerivation rec {
automake autoconf libtool automake autoconf libtool
file file
intltool intltool
vala_0_34 itstool
vala
gnome3.yelp-tools gnome3.yelp-tools
wrapGAppsHook wrapGAppsHook
# For setup hook # For setup hook
@ -30,12 +31,9 @@ stdenv.mkDerivation rec {
libxml2 libxml2
json-glib json-glib
sqlite sqlite
itstool
librsvg librsvg
gnome3.gtk gnome3.gtk
gnome3.gucharmap
gnome3.libgee gnome3.libgee
gnome3.file-roller
gnome3.defaultIconTheme gnome3.defaultIconTheme
]; ];
@ -46,7 +44,10 @@ stdenv.mkDerivation rec {
substituteInPlace configure --replace "/usr/bin/file" "${file}/bin/file" substituteInPlace configure --replace "/usr/bin/file" "${file}/bin/file"
''; '';
configureFlags = [ "--disable-pycompile" ]; configureFlags = [
"--with-file-roller"
"--disable-pycompile"
];
meta = { meta = {
homepage = https://fontmanager.github.io/; homepage = https://fontmanager.github.io/;