@@ -0,0 +1,17 @@
1+{javaAdapter ? false,
2+ jdk ? null,
3+ stdenv, fetchurl, toolbuslib, atermjava, aterm, yacc, flex, tcltk} :
4+
5+stdenv.mkDerivation {
6+ name = "toolbus-1.2.2";
7+ builder = ./builder.sh;
8+ src = fetchurl {
9+ url = http://www.cwi.nl/projects/MetaEnv/toolbus/toolbus-1.2.2.tar.gz;
10+ md5 = "887349b097006c0883e1948797349a50";
11+ };
12+ java = if javaAdapter then true else false;
13+ jdk = if javaAdapter then jdk else null;
14+
15+ inherit toolbuslib atermjava aterm yacc flex tcltk;
16+ buildInputs = [toolbuslib atermjava aterm yacc flex jdk tcltk] ;
17+}