2008-08-19 07:54:09 +02:00
|
|
|
args : with args; with builderDefs;
|
|
|
|
let localDefs = builderDefs.meta.function (rec {
|
2008-03-02 22:59:32 +01:00
|
|
|
src = /* put a fetchurl here */
|
|
|
|
fetchurl {
|
|
|
|
url = http://prdownloads.sourceforge.net/junicode/junicode-0.6.15.zip;
|
|
|
|
sha256 = "0p16r5s6qwyz0hayb6k61s5r2sfachlx7r6gpqqx5myx6ipbfdns";
|
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [unzip];
|
|
|
|
configureFlags = [];
|
|
|
|
doInstall = FullDepEntry (''
|
|
|
|
unzip ${src}
|
|
|
|
ensureDir $out/share/fonts/junicode-ttf
|
|
|
|
cp *.ttf $out/share/fonts/junicode-ttf
|
|
|
|
'') ["minInit" "addInputs" "defEnsureDir"];
|
2008-08-19 07:54:09 +02:00
|
|
|
});
|
2008-03-02 22:59:32 +01:00
|
|
|
in with localDefs;
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
name = "junicode-"+version;
|
|
|
|
builder = writeScript (name + "-builder")
|
|
|
|
(textClosure localDefs
|
|
|
|
[doInstall doForceShare doPropagate]);
|
|
|
|
meta = {
|
|
|
|
description = "
|
|
|
|
A Unicode font.
|
|
|
|
";
|
|
|
|
inherit src;
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|