2008-08-19 07:54:09 +02:00
|
|
|
args : with args; with builderDefs;
|
2008-11-04 22:24:10 +01:00
|
|
|
let localDefs = builderDefs.passthru.function (rec {
|
2008-03-02 19:39:33 +01:00
|
|
|
src = /* put a fetchurl here */
|
|
|
|
fetchurl {
|
|
|
|
url = http://prdownloads.sourceforge.net/wqy/wqy-zenhei-0.4.23-1.tar.gz;
|
|
|
|
sha256 = "138nn81ai240av0xvcq4ab3rl73n0qlj3gwr3a36i63ry8vdj5qm";
|
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [];
|
|
|
|
configureFlags = [];
|
|
|
|
doInstall = FullDepEntry (''
|
|
|
|
ensureDir $out/share/fonts
|
|
|
|
cp *.ttf $out/share/fonts
|
|
|
|
'') ["minInit" "addInputs" "doUnpack" "defEnsureDir"];
|
2008-08-19 07:54:09 +02:00
|
|
|
});
|
2008-03-02 19:39:33 +01:00
|
|
|
in with localDefs;
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
name = "wqy-zenhei-"+version;
|
|
|
|
builder = writeScript (name + "-builder")
|
|
|
|
(textClosure localDefs
|
|
|
|
[doInstall doForceShare doPropagate]);
|
|
|
|
meta = {
|
|
|
|
description = "
|
|
|
|
A (mainly) Chinese Unicode font.
|
|
|
|
";
|
2008-03-02 19:49:31 +01:00
|
|
|
inherit src;
|
2008-03-02 19:39:33 +01:00
|
|
|
};
|
|
|
|
}
|
|
|
|
|