diff options
Diffstat (limited to 'pkgs/development/tools/parsing/sglr')
-rwxr-xr-x | pkgs/development/tools/parsing/sglr/builder.sh | 9 | ||||
-rw-r--r-- | pkgs/development/tools/parsing/sglr/sglr-3.10.2.nix | 13 |
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; +} |