From a0e87d612388649c125f00086c9bcd4b1d82e584 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <eelco.dolstra@logicblox.com>
Date: Fri, 29 Aug 2008 11:48:44 +0000
Subject: [PATCH] * Added ATerm 2.7.  It doesn't work though (make check fails
 on x86_64).

svn path=/nixpkgs/trunk/; revision=12764
---
 pkgs/development/libraries/aterm/2.5.nix     |  4 ++++
 pkgs/development/libraries/aterm/2.7.nix     | 20 ++++++++++++++++++++
 pkgs/development/libraries/aterm/default.nix |  1 -
 pkgs/top-level/all-packages.nix              | 20 +++++++++++++-------
 4 files changed, 37 insertions(+), 8 deletions(-)
 create mode 100644 pkgs/development/libraries/aterm/2.7.nix
 delete mode 100644 pkgs/development/libraries/aterm/default.nix

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
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 8613fbb5e9cc..e687d8ed3f25 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -1857,13 +1857,13 @@ let
 
   transformers = import ../development/compilers/transformers {
     inherit fetchurl pkgconfig sdf;
-    aterm = aterm23x;
+    aterm = aterm23;
 
     stdenv = overrideGCC (overrideInStdenv stdenv [gnumake380]) gcc34;
 
     strategoxt = import ../development/compilers/strategoxt/strategoxt-0.14.nix {
       inherit fetchurl pkgconfig sdf;
-      aterm = aterm23x;
+      aterm = aterm23;
       stdenv = overrideGCC (overrideInStdenv stdenv [gnumake380]) gcc34;
     };
 
@@ -2515,7 +2515,13 @@ let
     inherit fetchurl stdenv aspell which;
   });
 
-  aterm = lowPrio (import ../development/libraries/aterm {
+  aterm = aterm24;
+
+  aterm23 = import ../development/libraries/aterm/2.3.nix {
+    inherit fetchurl stdenv;
+  };
+
+  aterm24 = lowPrio (import ../development/libraries/aterm/2.4.nix {
     inherit fetchurl stdenv;
   });
 
@@ -2523,14 +2529,14 @@ let
     inherit fetchurl stdenv;
   };
 
-  aterm23x = import ../development/libraries/aterm/2.3.nix {
-    inherit fetchurl stdenv;
-  };
-
   aterm25 = import ../development/libraries/aterm/2.5.nix {
     inherit fetchurl stdenv;
   };
 
+  aterm27 = lowPrio (import ../development/libraries/aterm/2.7.nix {
+    inherit fetchurl stdenv;
+  });
+
   attr = useFromStdenv "attr"
     (import ../development/libraries/attr {
       inherit stdenv fetchurl gettext;