2021-04-16 00:47:57 +01:00
|
|
|
{ lib
|
|
|
|
, stdenv
|
|
|
|
, fetchFromGitHub
|
|
|
|
, meson
|
|
|
|
, fetchpatch
|
|
|
|
, ninja
|
|
|
|
, gettext
|
|
|
|
, python3
|
|
|
|
, pkg-config
|
|
|
|
, libxml2
|
|
|
|
, json-glib
|
|
|
|
, sqlite
|
|
|
|
, itstool
|
|
|
|
, yelp-tools
|
|
|
|
, vala
|
|
|
|
, gsettings-desktop-schemas
|
|
|
|
, gtk3
|
2021-05-07 22:18:14 +01:00
|
|
|
, gnome
|
2021-04-16 00:47:57 +01:00
|
|
|
, 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";
|
2021-10-07 14:22:51 +01:00
|
|
|
version = "0.8.7";
|
2016-03-04 09:43:11 +00:00
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
2018-08-30 00:20:59 +01:00
|
|
|
owner = "FontManager";
|
|
|
|
repo = "master";
|
2019-04-28 01:54:53 +01:00
|
|
|
rev = version;
|
2021-10-07 14:22:51 +01:00
|
|
|
sha256 = "lqXjGSsiWaMJGyr1c2Wt/bs4F8q51mQ1+f6vbZRQzVs=";
|
2019-01-18 14:32:33 +00:00
|
|
|
};
|
2016-03-04 09:43:11 +00:00
|
|
|
|
2021-04-16 00:47:57 +01:00
|
|
|
patches = [
|
2021-10-07 14:22:51 +01:00
|
|
|
# Fix compilation with latest Vala.
|
|
|
|
# https://github.com/FontManager/font-manager/issues/240
|
2021-04-16 00:47:57 +01:00
|
|
|
(fetchpatch {
|
2021-10-07 14:22:51 +01:00
|
|
|
url = "https://github.com/FontManager/font-manager/commit/f9c4621389dae5999ca9d2f3c8402c2512a9ea60.patch";
|
|
|
|
sha256 = "ZEJZSUYFLKmiHpVusO3ZUXMLUzJbbbCSqMjCtwlzPRY=";
|
2021-04-16 00:47:57 +01:00
|
|
|
})
|
|
|
|
];
|
|
|
|
|
2016-06-12 12:00:31 +01:00
|
|
|
nativeBuildInputs = [
|
2021-01-17 02:09:27 +00:00
|
|
|
pkg-config
|
2019-01-19 18:51:21 +00:00
|
|
|
meson
|
|
|
|
ninja
|
|
|
|
gettext
|
|
|
|
python3
|
2018-08-30 00:20:59 +01:00
|
|
|
itstool
|
2019-01-19 18:51:21 +00:00
|
|
|
desktop-file-utils
|
2018-08-30 00:20:59 +01:00
|
|
|
vala
|
2019-11-20 03:30:05 +00:00
|
|
|
yelp-tools
|
2016-06-12 12:00:31 +01:00
|
|
|
wrapGAppsHook
|
2019-03-15 10:31:52 +00:00
|
|
|
# For https://github.com/FontManager/master/blob/master/lib/unicode/meson.build
|
2018-12-02 11:41:15 +00:00
|
|
|
gobject-introspection
|
2016-06-12 12:00:31 +01:00
|
|
|
];
|
|
|
|
|
|
|
|
buildInputs = [
|
2016-03-04 09:43:11 +00:00
|
|
|
libxml2
|
2018-02-25 02:23:58 +00:00
|
|
|
json-glib
|
2016-03-04 09:43:11 +00:00
|
|
|
sqlite
|
2021-04-16 00:47:57 +01:00
|
|
|
gsettings-desktop-schemas # for font settings
|
2019-03-15 10:31:52 +00:00
|
|
|
gtk3
|
2021-05-07 22:18:14 +01:00
|
|
|
gnome.adwaita-icon-theme
|
2021-04-06 19:29:45 +01:00
|
|
|
libsoup
|
2021-04-16 00:47:57 +01:00
|
|
|
glib-networking # for SSL so that Google Fonts can load
|
2021-04-06 19:29:45 +01:00
|
|
|
webkitgtk
|
2016-03-04 09:43:11 +00:00
|
|
|
];
|
|
|
|
|
2021-04-16 00:47:57 +01: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
|
|
|
|
'';
|
|
|
|
|
2021-01-11 07:54:33 +00:00
|
|
|
meta = with lib; {
|
2020-04-01 02:11:51 +01:00
|
|
|
homepage = "https://fontmanager.github.io/";
|
2019-09-03 23:49:40 +01:00
|
|
|
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
|
2019-09-03 23:49:40 +01:00
|
|
|
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 19:29:45 +01: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
|
|
|
};
|
|
|
|
}
|