diff options
| author | Martin Bravenboer <martin.bravenboer@logicblox.com> | 2004-01-22 18:13:16 +0000 |
|---|---|---|
| committer | Martin Bravenboer <martin.bravenboer@logicblox.com> | 2004-01-22 18:13:16 +0000 |
| commit | ffa5434646f12ae670214ffb41c8bb575548592d (patch) | |
| tree | 21581d0604f4c99a1bbdda10517a795a688b34a9 | |
| parent | 7bee8f04142acc3c3b183ee8e467d138eab2de44 (diff) | |
Expression for aterm 2.0.5 at CWI
svn path=/nixpkgs/trunk/; revision=704
| -rw-r--r-- | pkgs/development/libraries/aterm/aterm-2.0.5.nix | 10 | ||||
| -rw-r--r-- | pkgs/system/all-packages-generic.nix | 5 |
2 files changed, 15 insertions, 0 deletions
diff --git a/pkgs/development/libraries/aterm/aterm-2.0.5.nix b/pkgs/development/libraries/aterm/aterm-2.0.5.nix new file mode 100644 index 0000000000000..9ed878d377522 --- /dev/null +++ b/pkgs/development/libraries/aterm/aterm-2.0.5.nix @@ -0,0 +1,10 @@ +{stdenv, fetchurl}: derivation { + name = "aterm-2.0.5"; + system = stdenv.system; + builder = ./builder.sh; + src = fetchurl { + url = http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.0.5.tar.gz; + md5 = "68aefb0c10b2ab876b8d3c0b2d0cdb1b"; + }; + stdenv = stdenv; +} diff --git a/pkgs/system/all-packages-generic.nix b/pkgs/system/all-packages-generic.nix index b518cef670d56..4f07e585e57b7 100644 --- a/pkgs/system/all-packages-generic.nix +++ b/pkgs/system/all-packages-generic.nix @@ -236,6 +236,11 @@ stdenv = stdenv; }; + aterm205 = (import ../development/libraries/aterm/aterm-2.0.5.nix) { + fetchurl = fetchurl; + stdenv = stdenv; + }; + sdf2 = (import ../development/tools/parsing/sdf2) { fetchurl = fetchurl; stdenv = stdenv; |