From 7db2831d3a76bc239bb7a9f7573152ce12413c29 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Tue, 23 Feb 2010 16:17:21 +0000
Subject: * Use ATerm 2.5.

---
 release.nix | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'release.nix')

diff --git a/release.nix b/release.nix
index c90cb536d391..e9afe9c9e6cf 100644
--- a/release.nix
+++ b/release.nix
@@ -31,8 +31,8 @@ let
 
         # Include the ATerm and Bzip2 tarballs in the distribution.
         preConfigure = ''
-          stripHash ${aterm242fixes.src}
-          cp -pv ${aterm242fixes.src} externals/$strippedName
+          stripHash ${aterm.src}
+          cp -pv ${aterm.src} externals/$strippedName
 
           stripHash ${bzip2.src}
           cp -pv ${bzip2.src} externals/$strippedName
@@ -77,7 +77,7 @@ let
 
         configureFlags = ''
           --disable-init-state
-          --with-aterm=${aterm242fixes} --with-bzip2=${bzip2}
+          --with-aterm=${aterm} --with-bzip2=${bzip2}
         '';
       };
 
@@ -98,7 +98,7 @@ let
 
         configureFlags = ''
           --disable-init-state
-          --with-aterm=${aterm242fixes} --with-bzip2=${bzip2}
+          --with-aterm=${aterm} --with-bzip2=${bzip2}
           --enable-static-nix
         '';
       };
@@ -123,7 +123,7 @@ let
 
         configureFlags = ''
           --disable-init-state --disable-shared
-          --with-aterm=${aterm242fixes} --with-bzip2=${bzip2}
+          --with-aterm=${aterm} --with-bzip2=${bzip2}
         '';
 
         lcovFilter = ["*/boost/*" "*-tab.*"];
-- 
cgit 1.4.1