diff options
Diffstat (limited to 'pkgs/development/compilers/tiger/default.nix')
-rw-r--r-- | pkgs/development/compilers/tiger/default.nix | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/pkgs/development/compilers/tiger/default.nix b/pkgs/development/compilers/tiger/default.nix index c7185fc659b72..2fd297b8848a5 100644 --- a/pkgs/development/compilers/tiger/default.nix +++ b/pkgs/development/compilers/tiger/default.nix @@ -1,12 +1,10 @@ -{stdenv, fetchurl, aterm, sdf, strategoxt}: derivation { +{stdenv, fetchurl, aterm, sdf, strategoxt}: stdenv.mkDerivation { name = "tiger-1.3-4631"; - system = stdenv.system; builder = ./builder.sh; src = fetchurl { url = http://losser.st-lab.cs.uu.nl/~mbravenb/dailydist/tiger/src/tiger-1.3-4631.tar.gz; md5 = "1ea6070d84134eb6cff7fb32a75ef90a"; }; - stdenv = stdenv; aterm = aterm; sdf = sdf; strategoxt = strategoxt; |