99 lines
2.2 KiB
Nix
99 lines
2.2 KiB
Nix
{ 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
|
|
}:
|
|
|
|
stdenv.mkDerivation rec {
|
|
pname = "font-manager";
|
|
version = "0.8.7";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "FontManager";
|
|
repo = "master";
|
|
rev = version;
|
|
sha256 = "lqXjGSsiWaMJGyr1c2Wt/bs4F8q51mQ1+f6vbZRQzVs=";
|
|
};
|
|
|
|
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
|
|
meson
|
|
ninja
|
|
gettext
|
|
python3
|
|
itstool
|
|
desktop-file-utils
|
|
vala
|
|
yelp-tools
|
|
wrapGAppsHook
|
|
# For https://github.com/FontManager/master/blob/master/lib/unicode/meson.build
|
|
gobject-introspection
|
|
];
|
|
|
|
buildInputs = [
|
|
libxml2
|
|
json-glib
|
|
sqlite
|
|
gsettings-desktop-schemas # for font settings
|
|
gtk3
|
|
gnome.adwaita-icon-theme
|
|
libsoup
|
|
glib-networking # for SSL so that Google Fonts can load
|
|
webkitgtk
|
|
];
|
|
|
|
mesonFlags = [
|
|
"-Dreproducible=true" # Do not hardcode build directory…
|
|
];
|
|
|
|
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";
|
|
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 = licenses.gpl3Plus;
|
|
platforms = platforms.unix;
|
|
maintainers = [ maintainers.romildo ];
|
|
};
|
|
}
|