3 files changed, 24 insertions, 1 deletions
diff --git a/pkgs/development/compilers/strategoxt/default.nix b/pkgs/development/compilers/strategoxt/default.nix
index 2bdc2d45354..fe36cd7bf2d 100644
--- a/pkgs/development/compilers/strategoxt/default.nix
+++ b/pkgs/development/compilers/strategoxt/default.nix
@@ -1,2 +1,2 @@
-import ./strategoxt-0.12.nix
+import ./strategoxt-0.13.nix
 
diff --git a/pkgs/development/compilers/strategoxt/strategoxt-0.13.nix b/pkgs/development/compilers/strategoxt/strategoxt-0.13.nix
new file mode 100644
index 00000000000..28b09ee29ea
--- /dev/null
+++ b/pkgs/development/compilers/strategoxt/strategoxt-0.13.nix
@@ -0,0 +1,18 @@
+{stdenv, fetchurl, aterm, sdf}:
+
+stdenv.mkDerivation {
+
+  name = "strategoxt-0.13";
+
+  builder = ./builder.sh;
+
+  src = fetchurl {
+    url = ftp://ftp.stratego-language.org/pub/stratego/StrategoXT/strategoxt-0.13/strategoxt-0.13.tar.gz;
+    md5 = "783bea5d5ebc0604e7ecf5bfb8f7f7b1";
+  };
+
+  inherit aterm;
+  inherit (sdf) sglr pgen ptsupport asflibrary;
+
+  buildInputs = [aterm sdf.pgen];
+}
diff --git a/pkgs/system/all-packages-generic.nix b/pkgs/system/all-packages-generic.nix
index a26020c6677..ab07b512e79 100644
--- a/pkgs/system/all-packages-generic.nix
+++ b/pkgs/system/all-packages-generic.nix
@@ -386,6 +386,11 @@ rec {
     sdf = sdf_23;
   };
 
+  strategoxt_012 = (import ../development/compilers/strategoxt/strategoxt-0.12.nix) { 
+    inherit fetchurl stdenv aterm;
+    sdf = sdf_22;
+  };
+
   bibtextools = (import ../tools/typesetting/bibtex-tools) {
     inherit fetchurl stdenv aterm strategoxt hevea;
     sdf = sdf_23;