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