Commit graph

3 commits

Author SHA1 Message Date
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