2008-01-29 10:32:56 +01:00
|
|
|
{stdenv, fetchurl}:
|
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
|
|
|
name = "aterm-2.5";
|
2008-08-29 13:48:44 +02:00
|
|
|
|
2008-01-29 10:32:56 +01:00
|
|
|
src = fetchurl {
|
|
|
|
url = http://buildfarm.st.ewi.tudelft.nl/releases/meta-environment/aterm-2.5pre21238-l2q7rg38/aterm-2.5.tar.gz;
|
|
|
|
md5 = "33ddcb1a229baf406ad1f603eb1d5995";
|
|
|
|
};
|
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-02-23 15:43:09 +01:00
|
|
|
|
|
|
|
# Patch the ATerm header files so that they don't rely on
|
|
|
|
# SIZEOF_LONG, SIZEOF_INT and SIZEOF_VOID_P being set.
|
|
|
|
./sizeof.patch
|
2009-01-27 18:46:07 +01:00
|
|
|
];
|
|
|
|
|
2008-08-29 13:48:44 +02:00
|
|
|
doCheck = true;
|
|
|
|
|
2009-05-08 10:21:35 +02:00
|
|
|
dontDisableStatic = true;
|
|
|
|
|
2008-01-29 10:32:56 +01: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";
|
|
|
|
};
|
|
|
|
}
|