diff options
Diffstat (limited to 'pkgs/development/tools/parsing/pt-support/pt-support-1.0.nix')
-rw-r--r-- | pkgs/development/tools/parsing/pt-support/pt-support-1.0.nix | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/pkgs/development/tools/parsing/pt-support/pt-support-1.0.nix b/pkgs/development/tools/parsing/pt-support/pt-support-1.0.nix index 66ca31566da..ed8bde95c0e 100644 --- a/pkgs/development/tools/parsing/pt-support/pt-support-1.0.nix +++ b/pkgs/development/tools/parsing/pt-support/pt-support-1.0.nix @@ -1,12 +1,12 @@ -{stdenv, fetchurl, aterm, toolbuslib}: derivation { +{stdenv, fetchurl, aterm, toolbuslib}: + +stdenv.mkDerivation { name = "pt-support-1.0"; - system = stdenv.system; builder = ./builder.sh; src = fetchurl { url = http://www.cwi.nl/projects/MetaEnv/pt-support/pt-support-1.0.tar.gz; md5 = "cc96dc2bfbaf3f218dfe9a0b8bb4d801"; }; - stdenv = stdenv; - aterm = aterm; - toolbuslib = toolbuslib; + inherit aterm toolbuslib; + buildInputs = [aterm toolbuslib]; } |