Added sdf2-bundle 2.4

svn path=/nixpkgs/branches/stdenv-updates/; revision=10382

2 files changed, 20 insertions, 0 deletions

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 0000000000000..7d62d7430700a
--- /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 84d16217e0a4b..e907a93273318 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;
   };