Commit graph

7 commits

Author SHA1 Message Date
Lluís Batlle i Rossell 232da3a29d Adding a new url for isl.src. The current is only meant for the last version.
svn path=/nixpkgs/branches/stdenv-updates/; revision=32167
2012-02-09 19:53:01 +00:00
Eelco Dolstra cfde88976b * Streamline the stdenv bootstrap and resulting closure by removing
some redundant builds (e.g., GMP was built three times).
* Updated GMP to 5.0.2.
* Updated PPL to 0.11.2.
* Remove ad hoc flags to build GCC's dependencies statically.
  Instead, use the ‘makeStaticLibraries’ stdenv adapter.
* Build GMP with C++ support by default.

svn path=/nixpkgs/branches/stdenv-updates/; revision=30891
2011-12-14 14:31:56 +00:00
Eelco Dolstra 28e2c7e2f5 svn path=/nixpkgs/branches/stdenv-updates/; revision=30859 2011-12-12 19:56:04 +00:00
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