Added pt-support 1.0

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

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

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

pkgs/development/tools/parsing/pt-support/pt-support-1.0.nix

@@ -0,0 +1,12 @@
+{stdenv, fetchurl, aterm, toolbuslib}: derivation {
+  name = "pt-support-1.0";
+  system = stdenv.system;
+  builder = ./builder.sh;
+  src = fetchurl {
+    url = http://www.cwi.nl/projects/MetaEnv/pt-support/pt-support-1.0.tar.gz;
+    md5 = "cc96dc2bfbaf3f218dfe9a0b8bb4d801";
+  };
+  stdenv = stdenv;
+  aterm = aterm;
+  toolbuslib = toolbuslib;
+}