1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
{ stdenv, fetchFromGitHub, automake, autoconf, libtool,
pkgconfig, file, intltool, libxml2, json-glib , sqlite, itstool,
librsvg, vala, gnome3, wrapGAppsHook, gobjectIntrospection
}:
stdenv.mkDerivation rec {
name = "font-manager-${version}";
version = "0.7.3.1";
src = fetchFromGitHub {
owner = "FontManager";
repo = "master";
rev = version;
sha256 = "0i65br0bk3r6x8wcl8jhc0v0agl0k6fy5g60ss1bnw4md7ldpgyi";
};
nativeBuildInputs = [
pkgconfig
automake autoconf libtool
file
intltool
itstool
vala
gnome3.yelp-tools
wrapGAppsHook
# For setup hook
gobjectIntrospection
];
buildInputs = [
libxml2
json-glib
sqlite
librsvg
gnome3.gtk
gnome3.libgee
gnome3.defaultIconTheme
];
enableParallelBuilding = true;
preConfigure = ''
NOCONFIGURE=true ./autogen.sh
substituteInPlace configure --replace "/usr/bin/file" "${file}/bin/file"
'';
configureFlags = [
"--with-file-roller"
"--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;
maintainers = [ stdenv.lib.maintainers.romildo ];
};
}
|