Added sglr

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

pkgs/development/tools/parsing/pt-support/builder.sh

@@ -1,6 +1,6 @@
 #! /bin/sh
 
-buildinputs="$aterm $getopt $toolbuslib"
+buildinputs="$aterm $toolbuslib"
 . $stdenv/setup || exit 1
 
 tar zxf $src || exit 1

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

@@ -0,0 +1,9 @@
+#! /bin/sh
+
+buildinputs="$aterm $ptsupport $toolbuslib"
+. $stdenv/setup || exit 1
+
+tar zxf $src || exit 1
+cd sglr-* || exit 1
+./configure --prefix=$out --with-aterm=$aterm --with-toolbuslib=$toolbuslib --with-pt-support=$ptsupport || exit 1
+make install || exit 1

pkgs/development/tools/parsing/sglr/sglr-3.10.2.nix

@@ -0,0 +1,13 @@
+{stdenv, fetchurl, aterm, toolbuslib, ptsupport}: derivation {
+  name = "sglr-3.10.2";
+  system = stdenv.system;
+  builder = ./builder.sh;
+  src = fetchurl {
+    url = http://www.cwi.nl/projects/MetaEnv/sglr/sglr-3.10.2.tar.gz;
+    md5 = "39aa609be84115d7ddc56a6c74b792b7";
+  };
+  stdenv = stdenv;
+  aterm = aterm;
+  ptsupport = ptsupport;
+  toolbuslib = toolbuslib;
+}

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

@@ -1,6 +1,6 @@
 #! /bin/sh
 
-buildinputs="$aterm $getopt"
+buildinputs="$aterm"
 . $stdenv/setup || exit 1
 
 tar zxf $src || exit 1

pkgs/system/all-packages-generic.nix

@@ -261,6 +261,14 @@
     toolbuslib = toolbuslib_0_5_1;
   };
 
+  sglr_3_10_2 = (import ../development/tools/parsing/sglr/sglr-3.10.2.nix) {
+    fetchurl = fetchurl;
+    stdenv = stdenv;
+    aterm = aterm_2_0_5;
+    toolbuslib = toolbuslib_0_5_1;
+    ptsupport = pt_support_1_0;
+  };
+
   strategoxt = (import ../development/compilers/strategoxt) {
     fetchurl = fetchurl;
     stdenv = stdenv;