diff options
Diffstat (limited to 'pkgs/development/interpreters/toolbus/default.nix')
-rw-r--r-- | pkgs/development/interpreters/toolbus/default.nix | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/pkgs/development/interpreters/toolbus/default.nix b/pkgs/development/interpreters/toolbus/default.nix index ca976c0f064..5acc1f780bc 100644 --- a/pkgs/development/interpreters/toolbus/default.nix +++ b/pkgs/development/interpreters/toolbus/default.nix @@ -1 +1,17 @@ -import ./toolbus-1.2.2.nix +{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] ; +} |