2010-07-29 19:55:16 +01:00
|
|
|
{ stdenv, fetchurl, unzip }:
|
2008-03-02 21:59:32 +00:00
|
|
|
|
2010-07-29 19:55:16 +01:00
|
|
|
stdenv.mkDerivation {
|
|
|
|
name = "junicode-0.6.15";
|
|
|
|
|
|
|
|
src = fetchurl {
|
2013-07-14 01:31:12 +01:00
|
|
|
url = mirror://sourceforge/junicode/junicode-0.6.15.zip;
|
2010-07-29 19:55:16 +01:00
|
|
|
sha256 = "0p16r5s6qwyz0hayb6k61s5r2sfachlx7r6gpqqx5myx6ipbfdns";
|
|
|
|
};
|
2008-03-02 21:59:32 +00:00
|
|
|
|
2010-07-29 19:55:16 +01:00
|
|
|
buildInputs = [ unzip ];
|
2008-03-02 21:59:32 +00:00
|
|
|
|
2010-07-29 19:55:16 +01:00
|
|
|
sourceRoot = ".";
|
2008-03-02 21:59:32 +00:00
|
|
|
|
2010-07-29 19:55:16 +01:00
|
|
|
installPhase =
|
|
|
|
''
|
2012-01-18 20:16:00 +00:00
|
|
|
mkdir -p $out/share/fonts/junicode-ttf
|
2010-07-29 19:55:16 +01:00
|
|
|
cp *.ttf $out/share/fonts/junicode-ttf
|
|
|
|
'';
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "A Unicode font";
|
|
|
|
};
|
|
|
|
}
|