Nix expressions for sdf, strategoxt, and tiger.

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

7 files changed, 88 insertions, 0 deletions

diff --git a/pkgs/development/compilers/strategoxt/builder.sh b/pkgs/development/compilers/strategoxt/builder.sh
new file mode 100755
index 0000000000000..5311bc98b97b1
--- /dev/null
+++ b/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
diff --git a/pkgs/development/compilers/strategoxt/default.nix b/pkgs/development/compilers/strategoxt/default.nix
new file mode 100644
index 0000000000000..f2087084ca06c
--- /dev/null
+++ b/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;
+}
diff --git a/pkgs/development/compilers/strategoxt/strategoxt-0.9.3.nix b/pkgs/development/compilers/strategoxt/strategoxt-0.9.3.nix
new file mode 100644
index 0000000000000..ed26488fca773
--- /dev/null
+++ b/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;
+}
diff --git a/pkgs/development/compilers/tiger/builder.sh b/pkgs/development/compilers/tiger/builder.sh
new file mode 100755
index 0000000000000..880cd4c4e0589
--- /dev/null
+++ b/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
diff --git a/pkgs/development/compilers/tiger/default.nix b/pkgs/development/compilers/tiger/default.nix
new file mode 100644
index 0000000000000..6b9d0df42688e
--- /dev/null
+++ b/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;
+}
diff --git a/pkgs/development/tools/parsing/sdf2/builder.sh b/pkgs/development/tools/parsing/sdf2/builder.sh
new file mode 100755
index 0000000000000..ed5728cc6c295
--- /dev/null
+++ b/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
diff --git a/pkgs/development/tools/parsing/sdf2/default.nix b/pkgs/development/tools/parsing/sdf2/default.nix
new file mode 100644
index 0000000000000..b5fa9d64bff56
--- /dev/null
+++ b/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;
+}