2008-08-29 12:48:44 +01:00
|
|
|
{stdenv, fetchurl}:
|
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
2009-01-27 17:46:07 +00:00
|
|
|
name = "aterm-2.8";
|
2008-08-29 12:48:44 +01:00
|
|
|
|
|
|
|
src = fetchurl {
|
2009-02-03 10:39:04 +00:00
|
|
|
url = http://homepages.cwi.nl/~daybuild/releases/aterm-2.8.tar.gz;
|
|
|
|
sha256 = "00diz70cg4mprl4yx8lcibya0fkkskx5azyw03bhbbrnnlz9c53r";
|
2008-08-29 12:48:44 +01:00
|
|
|
};
|
|
|
|
|
2009-01-27 17:46:07 +00:00
|
|
|
patches = [
|
|
|
|
# Fix for http://bugzilla.sen.cwi.nl:8080/show_bug.cgi?id=841
|
|
|
|
./max-long.patch
|
|
|
|
];
|
|
|
|
|
2008-09-02 14:51:32 +01:00
|
|
|
doCheck = true;
|
2008-08-29 12:48:44 +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";
|
|
|
|
};
|
|
|
|
}
|