Update of strategoxt-utils

svn path=/nixpkgs/trunk/; revision=4236

pkgs/development/compilers/strategoxt/utils/default.nix

@@ -1,2 +1,2 @@
-import ./strategoxt-utils-0.14.nix
+import ./strategoxt-utils-0.16.nix
 

pkgs/development/compilers/strategoxt/utils/strategoxt-utils-0.16.nix

@@ -0,0 +1,12 @@
+{stdenv, fetchurl, aterm, sdf, strategoxt, pkgconfig}:
+
+stdenv.mkDerivation {
+  name = "strategoxt-utils-0.16";
+  src = fetchurl {
+    url = http://nix.cs.uu.nl/dist/stratego/strategoxt-utils-0.16/strategoxt-utils-0.16.tar.gz;
+    md5 = "a118d67e7a2f1eb61f0cfccbe61aa509";
+  };
+
+  inherit aterm sdf;
+  buildInputs = [pkgconfig aterm sdf strategoxt];
+}

pkgs/system/all-packages-generic.nix

@@ -552,11 +552,7 @@ rec {
   };
 
   strategoxtUtils = (import ../development/compilers/strategoxt/utils) {
-    inherit fetchurl pkgconfig stdenv sdf strategoxt;
+    inherit fetchurl pkgconfig stdenv aterm sdf strategoxt;
-
-    aterm = (import ../development/libraries/aterm/aterm-2.3.1.nix) {
-      inherit fetchurl stdenv;
-    };
   };
 
   bibtextools = (import ../tools/typesetting/bibtex-tools) {