diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2008-08-29 11:48:44 +0000 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2008-08-29 11:48:44 +0000 |
commit | a0e87d612388649c125f00086c9bcd4b1d82e584 (patch) | |
tree | 31d6c6b6f611b4a4e532202b0b2a333b3f05a798 /pkgs/development/libraries/aterm | |
parent | 6c2cbbbe87eed5db6ffe0252bcef5ab766fbbb20 (diff) | |
download | nixlib-a0e87d612388649c125f00086c9bcd4b1d82e584.tar nixlib-a0e87d612388649c125f00086c9bcd4b1d82e584.tar.gz nixlib-a0e87d612388649c125f00086c9bcd4b1d82e584.tar.bz2 nixlib-a0e87d612388649c125f00086c9bcd4b1d82e584.tar.lz nixlib-a0e87d612388649c125f00086c9bcd4b1d82e584.tar.xz nixlib-a0e87d612388649c125f00086c9bcd4b1d82e584.tar.zst nixlib-a0e87d612388649c125f00086c9bcd4b1d82e584.zip |
* Added ATerm 2.7. It doesn't work though (make check fails on x86_64).
svn path=/nixpkgs/trunk/; revision=12764
Diffstat (limited to 'pkgs/development/libraries/aterm')
-rw-r--r-- | pkgs/development/libraries/aterm/2.5.nix | 4 | ||||
-rw-r--r-- | pkgs/development/libraries/aterm/2.7.nix | 20 | ||||
-rw-r--r-- | pkgs/development/libraries/aterm/default.nix | 1 |
3 files changed, 24 insertions, 1 deletions
diff --git a/pkgs/development/libraries/aterm/2.5.nix b/pkgs/development/libraries/aterm/2.5.nix index f30be007fa52..88e31d08515c 100644 --- a/pkgs/development/libraries/aterm/2.5.nix +++ b/pkgs/development/libraries/aterm/2.5.nix @@ -2,10 +2,14 @@ stdenv.mkDerivation { name = "aterm-2.5"; + src = fetchurl { url = http://buildfarm.st.ewi.tudelft.nl/releases/meta-environment/aterm-2.5pre21238-l2q7rg38/aterm-2.5.tar.gz; md5 = "33ddcb1a229baf406ad1f603eb1d5995"; }; + + doCheck = true; + meta = { homepage = http://www.cwi.nl/htbin/sen1/twiki/bin/view/SEN1/ATerm; license = "LGPL"; diff --git a/pkgs/development/libraries/aterm/2.7.nix b/pkgs/development/libraries/aterm/2.7.nix new file mode 100644 index 000000000000..b50659494108 --- /dev/null +++ b/pkgs/development/libraries/aterm/2.7.nix @@ -0,0 +1,20 @@ +{stdenv, fetchurl}: + +stdenv.mkDerivation { + name = "aterm-2.7"; + + src = fetchurl { + url = http://homepages.cwi.nl/~daybuild/releases//aterm-2.7.tar.gz; + sha256 = "0zhs0rncn4iankr70kbms64dwxm9i0956gs02dbw7ylx4mln8ynn"; + }; + + #doCheck = true; + + CFLAGS = "-O0"; + + meta = { + homepage = http://www.cwi.nl/htbin/sen1/twiki/bin/view/SEN1/ATerm; + license = "LGPL"; + description = "Library for manipulation of term data structures in C"; + }; +} diff --git a/pkgs/development/libraries/aterm/default.nix b/pkgs/development/libraries/aterm/default.nix deleted file mode 100644 index 9f0c09c4d2da..000000000000 --- a/pkgs/development/libraries/aterm/default.nix +++ /dev/null @@ -1 +0,0 @@ -import ./2.4.nix |