blob: 5acc1f780bc27b4ca24681af773e86e5dd7eb95e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{javaAdapter ? false,
jdk ? null,
stdenv, fetchurl, toolbuslib, atermjava, aterm, yacc, flex, tcltk} :
stdenv.mkDerivation {
name = "toolbus-1.2.2";
builder = ./builder.sh;
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/toolbus-1.2.2.tar.gz;
md5 = "887349b097006c0883e1948797349a50";
};
java = if javaAdapter then true else false;
jdk = if javaAdapter then jdk else null;
inherit toolbuslib atermjava aterm yacc flex tcltk;
buildInputs = [toolbuslib atermjava aterm yacc flex jdk tcltk] ;
}
|