e50fdb1c03
devtodo: adjust platforms unicode: adjust platforms
31 lines
873 B
Nix
31 lines
873 B
Nix
{ stdenv, fetchFromGitHub, fetchurl, python3Packages }:
|
|
|
|
python3Packages.buildPythonApplication rec {
|
|
name = "unicode-${version}";
|
|
version = "2.5";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "garabik";
|
|
repo = "unicode";
|
|
rev = "v${version}";
|
|
sha256 = "0vg1zshlzgdva8gzw6fya28fc4jhypjkj743x3q0yabx6934k0g2";
|
|
};
|
|
|
|
ucdtxt = fetchurl {
|
|
url = http://www.unicode.org/Public/10.0.0/ucd/UnicodeData.txt;
|
|
sha256 = "1cfak1j753zcrbgixwgppyxhm4w8vda8vxhqymi7n5ljfi6kwhjj";
|
|
};
|
|
|
|
postFixup = ''
|
|
substituteInPlace "$out/bin/.unicode-wrapped" \
|
|
--replace "/usr/share/unicode/UnicodeData.txt" "$ucdtxt"
|
|
'';
|
|
|
|
meta = with stdenv.lib; {
|
|
description = "Display unicode character properties";
|
|
homepage = https://github.com/garabik/unicode;
|
|
license = licenses.gpl3;
|
|
maintainers = [ maintainers.woffs ];
|
|
platforms = platforms.all;
|
|
};
|
|
}
|