summary refs log tree commit diff
path: root/pkgs/development/tools/parsing/sglr
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/development/tools/parsing/sglr')
-rwxr-xr-xpkgs/development/tools/parsing/sglr/builder.sh9
-rw-r--r--pkgs/development/tools/parsing/sglr/sglr-3.10.2.nix13
2 files changed, 22 insertions, 0 deletions
diff --git a/pkgs/development/tools/parsing/sglr/builder.sh b/pkgs/development/tools/parsing/sglr/builder.sh
new file mode 100755
index 000000000000..1b0d2d35a1a0
--- /dev/null
+++ b/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
diff --git a/pkgs/development/tools/parsing/sglr/sglr-3.10.2.nix b/pkgs/development/tools/parsing/sglr/sglr-3.10.2.nix
new file mode 100644
index 000000000000..fdce971e8de6
--- /dev/null
+++ b/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;
+}