Commit graph

4 commits

Author SHA1 Message Date
Ludovic Courtès
a90a55309f ISL: Downgrade to 0.07 so that CLooG builds.
svn path=/nixpkgs/trunk/; revision=30634
2011-11-30 14:25:54 +00:00
Ludovic Courtès
e3323c4311 ISL 0.08, with some simplifications.
svn path=/nixpkgs/trunk/; revision=30632
2011-11-30 11:19:07 +00:00
Michael Raskin
0efee09246 Use correct gmp for cross-build
svn path=/nixpkgs/trunk/; revision=30288
2011-11-07 04:26:06 +00:00
Shea Levy
bc6ee5020d Add isl, the integer set library (needed for cloog, an optional dependency for GCC 4.6.0)
svn path=/nixpkgs/trunk/; revision=26633
2011-03-31 21:19:39 +00:00