From 067aaa8004ae9878608c01c66b2eb53a32856704 Mon Sep 17 00:00:00 2001
From: Sander van der Burg <s.vanderburg@tudelft.nl>
Date: Tue, 29 Jan 2008 09:37:15 +0000
Subject: [PATCH] Added sdf2-bundle 2.4

svn path=/nixpkgs/trunk/; revision=10371
---
 .../tools/parsing/sdf/sdf2-bundle-2.4.nix            | 12 ++++++++++++
 pkgs/top-level/all-packages.nix                      |  8 ++++++++
 2 files changed, 20 insertions(+)
 create mode 100644 pkgs/development/tools/parsing/sdf/sdf2-bundle-2.4.nix

diff --git a/pkgs/development/tools/parsing/sdf/sdf2-bundle-2.4.nix b/pkgs/development/tools/parsing/sdf/sdf2-bundle-2.4.nix
new file mode 100644
index 000000000000..7d62d7430700
--- /dev/null
+++ b/pkgs/development/tools/parsing/sdf/sdf2-bundle-2.4.nix
@@ -0,0 +1,12 @@
+{stdenv, fetchurl, aterm, getopt, pkgconfig}:
+
+stdenv.mkDerivation {
+  name = "sdf2-bundle-2.4";
+  src = fetchurl {
+    url = http://buildfarm.st.ewi.tudelft.nl/releases/meta-environment/sdf2-bundle-2.4pre212034-2nspl1xc/sdf2-bundle-2.4.tar.gz;
+    md5 = "00107bef17d3fb8486575f8974fb384b";
+  };
+
+  buildInputs = [aterm pkgconfig];
+  propagatedBuildInputs = [getopt];
+}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index b83022b6f7bd..dacf8281790a 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -1630,6 +1630,14 @@ rec {
     stdenv = overrideInStdenv stdenv [gnumake380];
   };
 
+  sdf24 = import ../development/tools/parsing/sdf/sdf2-bundle-2.4.nix {
+    inherit fetchurl getopt pkgconfig;
+    aterm = aterm25;
+    # Note: sdf2-bundle currently requires GNU make 3.80; remove
+    # explicit dependency when this is fixed.
+    stdenv = overrideInStdenv stdenv [gnumake380];
+  };
+
   strace = import ../development/tools/misc/strace {
     inherit fetchurl stdenv;
   };