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
