2016-03-04 10:43:11 +01:00
|
|
|
{ stdenv, fetchFromGitHub, makeWrapper, automake, autoconf, libtool,
|
|
|
|
pkgconfig, file, intltool, libxml2, json_glib , sqlite, itstool,
|
2016-08-21 18:18:41 +02:00
|
|
|
vala_0_32, gnome3, wrapGAppsHook
|
2016-03-04 10:43:11 +01:00
|
|
|
}:
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
name = "font-manager-${version}";
|
2016-06-12 13:00:31 +02:00
|
|
|
version = "2016-06-04";
|
2016-03-04 10:43:11 +01:00
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "FontManager";
|
|
|
|
repo = "master";
|
2016-06-12 13:00:31 +02:00
|
|
|
rev = "07b47c153494f19ced291c84437349253c5bde4d";
|
|
|
|
sha256 = "13pjmvx31fr8fqhl5qwawhawfl7as9c50qshzzig8n5g7vb5v1i0";
|
2016-03-04 10:43:11 +01:00
|
|
|
};
|
|
|
|
|
2016-06-12 13:00:31 +02:00
|
|
|
nativeBuildInputs = [
|
2016-03-04 10:43:11 +01:00
|
|
|
makeWrapper
|
|
|
|
pkgconfig
|
|
|
|
automake autoconf libtool
|
|
|
|
file
|
|
|
|
intltool
|
2016-08-21 18:18:41 +02:00
|
|
|
vala_0_32
|
2016-06-12 13:00:31 +02:00
|
|
|
gnome3.yelp_tools
|
|
|
|
wrapGAppsHook
|
|
|
|
];
|
|
|
|
|
|
|
|
buildInputs = [
|
2016-03-04 10:43:11 +01:00
|
|
|
libxml2
|
|
|
|
json_glib
|
|
|
|
sqlite
|
|
|
|
itstool
|
|
|
|
gnome3.gtk
|
|
|
|
gnome3.gucharmap
|
|
|
|
gnome3.libgee
|
|
|
|
gnome3.file-roller
|
|
|
|
];
|
|
|
|
|
2016-06-12 13:00:31 +02:00
|
|
|
enableParallelBuilding = true;
|
|
|
|
|
2016-03-04 10:43:11 +01:00
|
|
|
preConfigure = ''
|
|
|
|
NOCONFIGURE=true ./autogen.sh
|
|
|
|
chmod +x configure;
|
|
|
|
substituteInPlace configure --replace "/usr/bin/file" "${file}/bin/file"
|
|
|
|
'';
|
|
|
|
|
|
|
|
configureFlags = "--disable-pycompile";
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
homepage = https://fontmanager.github.io/;
|
|
|
|
description = "Simple font management for GTK+ desktop environments";
|
|
|
|
longDescription = ''
|
|
|
|
Font Manager is intended to provide a way for average users to
|
|
|
|
easily manage desktop fonts, without having to resort to command
|
|
|
|
line tools or editing configuration files by hand. While designed
|
|
|
|
primarily with the Gnome Desktop Environment in mind, it should
|
|
|
|
work well with other Gtk+ desktop environments.
|
|
|
|
|
|
|
|
Font Manager is NOT a professional-grade font management solution.
|
|
|
|
'';
|
|
|
|
license = stdenv.lib.licenses.gpl3;
|
|
|
|
repositories.git = https://github.com/FontManager/master;
|
|
|
|
platforms = stdenv.lib.platforms.unix;
|
2016-06-12 13:00:31 +02:00
|
|
|
maintainers = [ stdenv.lib.maintainers.romildo ];
|
2016-03-04 10:43:11 +01:00
|
|
|
};
|
|
|
|
}
|