diff options
author | Sander van der Burg <s.vanderburg@tudelft.nl> | 2008-01-29 09:37:15 +0000 |
---|---|---|
committer | Sander van der Burg <s.vanderburg@tudelft.nl> | 2008-01-29 09:37:15 +0000 |
commit | 067aaa8004ae9878608c01c66b2eb53a32856704 (patch) | |
tree | 671575289ff3c21deb32cafb3f4f83c1757272ab /pkgs | |
parent | 87ff8a8869daad028b433c3a88c2f68af2c2c7b1 (diff) |
Added sdf2-bundle 2.4
svn path=/nixpkgs/trunk/; revision=10371
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/tools/parsing/sdf/sdf2-bundle-2.4.nix | 12 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 8 |
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 b83022b6f7bd3..dacf8281790a7 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; }; |