2013-11-04 20:25:20 +01:00
|
|
|
{ stdenv, fetchurl }:
|
2008-08-29 13:48:44 +02:00
|
|
|
|
2013-04-06 12:35:03 +02:00
|
|
|
let
|
2010-08-24 15:20:55 +02:00
|
|
|
isMingw = stdenv ? cross && stdenv.cross.config == "i686-pc-mingw32" ;
|
|
|
|
in
|
2013-11-04 20:25:20 +01:00
|
|
|
stdenv.mkDerivation {
|
2009-01-27 18:46:07 +01:00
|
|
|
name = "aterm-2.8";
|
2008-08-29 13:48:44 +02:00
|
|
|
|
|
|
|
src = fetchurl {
|
2009-01-27 18:46:07 +01:00
|
|
|
url = http://www.meta-environment.org/releases/aterm-2.8.tar.gz;
|
|
|
|
sha256 = "1vq4qpmcww3n9v7bklgp7z1yqi9gmk6hcahqjqdzc5ksa089rdms";
|
2008-08-29 13:48:44 +02:00
|
|
|
};
|
|
|
|
|
2009-01-27 18:46:07 +01:00
|
|
|
patches = [
|
|
|
|
# Fix for http://bugzilla.sen.cwi.nl:8080/show_bug.cgi?id=841
|
|
|
|
./max-long.patch
|
2010-08-24 15:20:55 +02:00
|
|
|
] ++ ( if isMingw then [./aterm-mingw-asm.patch] else [] );
|
2013-04-06 12:35:03 +02:00
|
|
|
|
|
|
|
# The test programs stress, randgen, fib, and testsafio all fail with
|
|
|
|
# segmentation faults when compiled with GCC 4.8.x, and the code itself many
|
|
|
|
# warnings, complaining "cast from pointer to integer of different size".
|
|
|
|
# This looks really bad. I leave the test suite enabled, because those issue
|
|
|
|
# feel too serious to just ignore.
|
2008-09-02 15:51:32 +02:00
|
|
|
doCheck = true;
|
2008-08-29 13:48:44 +02:00
|
|
|
|
2013-11-04 20:25:20 +01:00
|
|
|
dontStrip = isMingw;
|
|
|
|
|
2008-08-29 13:48:44 +02:00
|
|
|
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";
|
2013-11-04 20:25:20 +01:00
|
|
|
platforms = stdenv.lib.platforms.linux ++ stdenv.lib.platforms.darwin;
|
|
|
|
maintainers = stdenv.lib.maintainers.eelco;
|
2013-12-06 19:31:03 +01:00
|
|
|
broken = true;
|
2008-08-29 13:48:44 +02:00
|
|
|
};
|
2013-11-04 20:25:20 +01:00
|
|
|
}
|