nixpkgs/pkgs/applications/misc/font-manager/default.nix

100 lines
2.2 KiB
Nix
Raw Normal View History

{ lib
, stdenv
, fetchFromGitHub
, meson
, fetchpatch
, ninja
, gettext
, python3
, pkg-config
, libxml2
, json-glib
, sqlite
, itstool
, yelp-tools
, vala
, gsettings-desktop-schemas
, gtk3
, gnome
, desktop-file-utils
, wrapGAppsHook
, gobject-introspection
, libsoup
, glib-networking
, webkitgtk
2016-03-04 09:43:11 +00:00
}:
stdenv.mkDerivation rec {
2019-01-19 18:51:21 +00:00
pname = "font-manager";
version = "0.8.7";
2016-03-04 09:43:11 +00:00
src = fetchFromGitHub {
owner = "FontManager";
repo = "master";
rev = version;
sha256 = "lqXjGSsiWaMJGyr1c2Wt/bs4F8q51mQ1+f6vbZRQzVs=";
2019-01-18 14:32:33 +00:00
};
2016-03-04 09:43:11 +00:00
patches = [
# Fix compilation with latest Vala.
# https://github.com/FontManager/font-manager/issues/240
(fetchpatch {
url = "https://github.com/FontManager/font-manager/commit/f9c4621389dae5999ca9d2f3c8402c2512a9ea60.patch";
sha256 = "ZEJZSUYFLKmiHpVusO3ZUXMLUzJbbbCSqMjCtwlzPRY=";
})
];
nativeBuildInputs = [
pkg-config
2019-01-19 18:51:21 +00:00
meson
ninja
gettext
python3
itstool
2019-01-19 18:51:21 +00:00
desktop-file-utils
vala
2019-11-20 03:30:05 +00:00
yelp-tools
wrapGAppsHook
2019-03-15 10:31:52 +00:00
# For https://github.com/FontManager/master/blob/master/lib/unicode/meson.build
gobject-introspection
];
buildInputs = [
2016-03-04 09:43:11 +00:00
libxml2
json-glib
2016-03-04 09:43:11 +00:00
sqlite
gsettings-desktop-schemas # for font settings
2019-03-15 10:31:52 +00:00
gtk3
gnome.adwaita-icon-theme
2021-04-06 18:29:45 +00:00
libsoup
glib-networking # for SSL so that Google Fonts can load
2021-04-06 18:29:45 +00:00
webkitgtk
2016-03-04 09:43:11 +00:00
];
mesonFlags = [
"-Dreproducible=true" # Do not hardcode build directory…
];
2019-01-19 18:51:21 +00:00
postPatch = ''
chmod +x meson_post_install.py
patchShebangs meson_post_install.py
'';
meta = with lib; {
homepage = "https://fontmanager.github.io/";
description = "Simple font management for GTK desktop environments";
2016-03-04 09:43:11 +00:00
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.
2016-03-04 09:43:11 +00:00
Font Manager is NOT a professional-grade font management solution.
'';
2021-04-06 18:29:45 +00:00
license = licenses.gpl3Plus;
2019-03-15 10:31:52 +00:00
platforms = platforms.unix;
maintainers = [ maintainers.romildo ];
2016-03-04 09:43:11 +00:00
};
}