diff --git a/pkgs/development/libraries/aterm/dynamic.nix b/pkgs/development/libraries/aterm/dynamic.nix new file mode 100644 index 00000000000..5567a38c426 --- /dev/null +++ b/pkgs/development/libraries/aterm/dynamic.nix @@ -0,0 +1,9 @@ +{stdenv, fetchurl}: + +stdenv.mkDerivation { + name = "aterm-dynamic-2.3.2"; + src = fetchurl { + url = http://catamaran.labs.cs.uu.nl/dist/stratego/aterm-2.3.2pre11645/aterm-2.3.2pre11645.tar.gz; + md5 = "f2feeeee6498388911d69133bff83926"; + }; +} diff --git a/pkgs/system/all-packages-generic.nix b/pkgs/system/all-packages-generic.nix index d2cc1c23fcc..80abb3a3eec 100644 --- a/pkgs/system/all-packages-generic.nix +++ b/pkgs/system/all-packages-generic.nix @@ -566,6 +566,10 @@ rec { inherit fetchurl stdenv; }; + atermdynamic = (import ../development/libraries/aterm/dynamic.nix) { + inherit fetchurl stdenv; + }; + sdf = (import ../development/tools/parsing/sdf) { inherit fetchurl stdenv aterm getopt; }; diff --git a/pkgs/system/populate-cache.nix b/pkgs/system/populate-cache.nix index 221aab9a846..ca3e19457bd 100644 --- a/pkgs/system/populate-cache.nix +++ b/pkgs/system/populate-cache.nix @@ -39,6 +39,7 @@ let { flexnew gccWrapped aterm + atermdynamic # atermjava # jjtraveler