pkgs/development/interpreters/toolbus/toolbus-1.2.2.nix


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://www.cwi.nl/projects/MetaEnv/toolbus/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] ;
}