Nix expressions for sdf, strategoxt, and tiger.

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

pkgs/development/compilers/strategoxt/builder.sh

@@ -0,0 +1,10 @@
+#! /bin/sh
+
+buildinputs="$aterm $sdf"
+. $stdenv/setup || exit 1
+
+tar zxf $src || exit 1
+cd strategoxt-* || exit 1
+./configure --prefix=$out --with-aterm=$aterm --with-sdf=$sdf || exit 1
+make || exit 1
+make install || exit 1

pkgs/development/compilers/strategoxt/default.nix

@@ -0,0 +1,12 @@
+{stdenv, fetchurl, aterm, sdf}: derivation {
+  name = "strategoxt-0.9.4-4626";
+  system = stdenv.system;
+  builder = ./builder.sh;
+  src = fetchurl {
+    url = http://losser.st-lab.cs.uu.nl/~mbravenb/dailydist/strategoxt/src/strategoxt-0.9.4-4626.tar.gz;
+    md5 = "f33ae9fdb9d8628ae01fa0f26bfa0429"
+  };
+  stdenv = stdenv;
+  aterm = aterm;
+  sdf = sdf;
+}

pkgs/development/compilers/strategoxt/strategoxt-0.9.3.nix

@@ -0,0 +1,12 @@
+{stdenv, fetchurl, aterm, sdf}: derivation {
+  name = "strategoxt-0.9.3";
+  system = stdenv.system;
+  builder = ./builder.sh;
+  src = fetchurl {
+    url = ftp://ftp.stratego-language.org/pub/stratego/StrategoXT/strategoxt-0.9.3.tar.gz;
+    md5 = "3425e7ae896426481bd258817737e3d6"
+  };
+  stdenv = stdenv;
+  aterm = aterm;
+  sdf = sdf;
+}

pkgs/development/compilers/tiger/builder.sh

@@ -0,0 +1,17 @@
+#! /bin/sh
+
+buildinputs="$aterm $sdf $strategoxt"
+. $stdenv/setup || exit 1
+
+tar zxf $src || exit 1
+cd tiger-* || exit 1
+./configure --prefix=$out \
+	--with-aterm=$aterm \
+	--with-sdf=$sdf \
+	--with-stratego-xt=$strategoxt \
+        --enable-tiger \
+        --enable-ir \
+	--enable-asm \
+    || exit 1
+make || exit 1
+make install || exit 1

pkgs/development/compilers/tiger/default.nix

@@ -0,0 +1,13 @@
+{stdenv, fetchurl, aterm, sdf, strategoxt}: derivation {
+  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;
+}

pkgs/development/tools/parsing/sdf2/builder.sh

@@ -0,0 +1,11 @@
+#! /bin/sh
+
+buildinputs="$aterm $getopt"
+. $stdenv/setup || exit 1
+
+tar zxf $src || exit 1
+cd sdf2-bundle-* || exit 1
+./configure --prefix=$out --with-aterm=$aterm || exit 1
+make install || exit 1
+
+echo "$getopt" > $out/propagated-build-inputs || exit 1

pkgs/development/tools/parsing/sdf2/default.nix

@@ -0,0 +1,13 @@
+{stdenv, fetchurl, aterm, getopt}:
+derivation {
+  name = "sdf2-1.6";
+  system = stdenv.system;
+  builder = ./builder.sh;
+  src = fetchurl {
+    url = ftp://ftp.stratego-language.org/pub/stratego/sdf2/sdf2-bundle-1.6.tar.gz;
+    md5 = "283be0b4c7c9575c1b5cc735316e6192";
+  };
+  stdenv = stdenv;
+  aterm = aterm;
+  getopt = getopt;
+}

pkgs/system/all-packages-generic.nix

@@ -186,6 +186,35 @@
     stdenv = stdenv;
   };
 
+  sdf2 = (import ../development/tools/parsing/sdf2) {
+    fetchurl = fetchurl;
+    stdenv = stdenv;
+    aterm = aterm;
+    getopt = getopt;
+  };
+
+  strategoxt = (import ../development/compilers/strategoxt) {
+    fetchurl = fetchurl;
+    stdenv = stdenv;
+    aterm = aterm;
+    sdf = sdf2;
+  };
+
+  strategoxt093 = (import ../development/compilers/strategoxt/strategoxt-0.9.3.nix) {
+    fetchurl = fetchurl;
+    stdenv = stdenv;
+    aterm = aterm;
+    sdf = sdf2;
+  };
+
+  tiger = (import ../development/compilers/tiger) {
+    fetchurl = fetchurl;
+    stdenv = stdenv;
+    aterm = aterm;
+    sdf = sdf2;
+    strategoxt = strategoxt;
+  };
+
   expat = (import ../development/libraries/expat) {
     fetchurl = fetchurl;
     stdenv = stdenv;