diff options
| -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; }; |