2016-03-04 09:43:11 +00:00
|
|
|
{ stdenv, fetchFromGitHub, makeWrapper, automake, autoconf, libtool,
|
|
|
|
pkgconfig, file, intltool, libxml2, json_glib , sqlite, itstool,
|
2016-10-22 15:59:10 +01:00
|
|
|
librsvg, vala_0_34, gnome3, wrapGAppsHook
|
2016-03-04 09:43:11 +00:00
|
|
|
}:
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
name = "font-manager-${version}";
|
2016-10-22 15:59:10 +01:00
|
|
|
version = "0.7.3";
|
2016-03-04 09:43:11 +00:00
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "FontManager";
|
|
|
|
repo = "master";
|
2016-10-22 15:59:10 +01:00
|
|
|
rev = version;
|
|
|
|
sha256 = "0qwi1mn2sc2q5cs28rga8i3cn34ylybs949vjnh97dl2rvlc0x06";
|
2016-03-04 09:43:11 +00:00
|
|
|
};
|
|
|
|
|
2016-06-12 12:00:31 +01:00
|
|
|
nativeBuildInputs = [
|
2016-03-04 09:43:11 +00:00
|
|
|
makeWrapper
|
|
|
|
pkgconfig
|
|
|
|
automake autoconf libtool
|
|
|
|
file
|
|
|
|
intltool
|
2016-10-22 15:59:10 +01:00
|
|
|
vala_0_34
|
2016-06-12 12:00:31 +01:00
|
|
|
gnome3.yelp_tools
|
|
|
|
wrapGAppsHook
|
|
|
|
];
|
|
|
|
|
|
|
|
buildInputs = [
|
2016-03-04 09:43:11 +00:00
|
|
|
libxml2
|
|
|
|
json_glib
|
|
|
|
sqlite
|
|
|
|
itstool
|
2016-10-22 15:59:10 +01:00
|
|
|
librsvg
|
2016-03-04 09:43:11 +00:00
|
|
|
gnome3.gtk
|
|
|
|
gnome3.gucharmap
|
|
|
|
gnome3.libgee
|
|
|
|
gnome3.file-roller
|
2016-12-30 17:58:32 +00:00
|
|
|
gnome3.defaultIconTheme
|
2016-03-04 09:43:11 +00:00
|
|
|
];
|
|
|
|
|
2016-06-12 12:00:31 +01:00
|
|
|
enableParallelBuilding = true;
|
|
|
|
|
2016-03-04 09:43:11 +00:00
|
|
|
preConfigure = ''
|
|
|
|
NOCONFIGURE=true ./autogen.sh
|
|
|
|
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 12:00:31 +01:00
|
|
|
maintainers = [ stdenv.lib.maintainers.romildo ];
|
2016-03-04 09:43:11 +00:00
|
|
|
};
|
|
|
|
}
|