summary refs log tree commit diff
path: root/pkgs/development/libraries/isl
AgeCommit message (Expand)AuthorFilesLines
2012-02-09Adding a new url for isl.src. The current is only meant for the last version.Lluís Batlle i Rossell1-1/+4
2011-12-14* Streamline the stdenv bootstrap and resulting closure by removingEelco Dolstra1-6/+2
2011-12-12svn path=/nixpkgs/branches/stdenv-updates/; revision=30859Eelco Dolstra1-1/+1
2011-11-30ISL: Downgrade to 0.07 so that CLooG builds.Ludovic Courtès1-2/+2
2011-11-30ISL 0.08, with some simplifications.Ludovic Courtès1-15/+8
2011-11-07Use correct gmp for cross-buildMichael Raskin1-1/+4
2011-03-31Add isl, the integer set library (needed for cloog, an optional dependency fo...Shea Levy1-0/+28