Mateusz Kowalczyk
7a45996233
Turn some license strings into lib.licenses values
2014-07-28 11:31:14 +02:00
Petr Rockai
649b477cc3
isl: Avoid a spurious symbol reference that breaks GCC build ( #778 ).
2013-10-27 15:36:50 +01:00
Peter Simons
ea6f711e8e
isl: update download url
...
This patch fixes issue #1091 .
2013-10-18 18:46:00 +02:00
Danny Wilson
bcaea92a12
Attempt at getting GCC 4.7 compiled on Illumos...
...
No success yet :-(
2013-02-28 20:04:01 +01:00
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
