2005-09-18 00:58:51 +01:00
|
|
|
{stdenv, fetchurl, jre, unzip} :
|
2004-09-26 14:03:59 +01:00
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
2005-08-13 18:17:53 +01:00
|
|
|
name = "jing-tools-20030619";
|
2004-09-26 14:03:59 +01:00
|
|
|
builder = ./script-builder.sh;
|
|
|
|
|
|
|
|
jing = (import ./default.nix) {
|
|
|
|
inherit stdenv fetchurl unzip;
|
|
|
|
};
|
|
|
|
|
2005-09-18 00:58:51 +01:00
|
|
|
inherit jre;
|
2004-09-26 14:03:59 +01:00
|
|
|
}
|