about summary refs log tree commit diff
path: root/pkgs/development/libraries/isl/default.nix
AgeCommit message (Expand)AuthorFilesLines
2015-07-08isl: Add 0.15.0William A. Kennington III1-23/+0
2015-07-01Unmaintain a bunch of packagesShea Levy1-1/+0
2015-03-26isl: 0.11.1 -> 0.14William A. Kennington III1-4/+5
2014-08-28Enable parallel building for cloog and islGergely Risko1-0/+2
2014-07-28Turn some license strings into lib.licenses valuesMateusz Kowalczyk1-1/+1
2013-10-27isl: Avoid a spurious symbol reference that breaks GCC build (#778).Petr Rockai1-0/+1
2013-10-18isl: update download urlPeter Simons1-5/+2
2013-02-28Attempt at getting GCC 4.7 compiled on Illumos...Danny Wilson1-2/+2
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