From 1ec43cc340e95fdf2126de2aa0150fd5bd6817d2 Mon Sep 17 00:00:00 2001
From: "Yury G. Kudryashov" <urkud.urkud@gmail.com>
Date: Tue, 29 Jan 2008 13:17:19 +0000
Subject: [PATCH] Added sdf2-bundle 2.4

svn path=/nixpkgs/branches/stdenv-updates/; revision=10382
---
 .../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 84d16217e0a4..e907a9327331 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -1632,6 +1632,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;
   };