6 Commits

Author	SHA1	Message	Date
Lluís Batlle i Rossell	e0a11f532b	Trying to bootstrap gcc 4.5 with ppl, so it does not depend on libstdc++ from the boostrap-tools. ... svn path=/nixpkgs/branches/stdenv-updates/; revision=22947	2010-08-04 12:36:35 +00:00
Lluís Batlle i Rossell	da3ba13fb5	Trying to make gcc 4.5 cross-buildable ... svn path=/nixpkgs/branches/stdenv-updates/; revision=22848	2010-08-01 21:21:26 +00:00
Lluís Batlle i Rossell	3f77d3da03	I downgrade ppl again to the stable release, and I make gmp 4.3.2 the default ... gmp; we can update all once we have stable ppl 0.11 and a working cloog-ppl with all that. This way we should at least gcc4.5 building with ppl/cloog-ppl svn path=/nixpkgs/branches/stdenv-updates/; revision=22271	2010-06-15 09:14:16 +00:00
Lluís Batlle i Rossell	e31361657c	Updating gmp and ppl (this last, mandatory, to match the gmp version). ... I chose a snapshot of the future 0.11 ppl (that had to be released one or two months ago, I think), waiting for the 0.11 to be frozen. Only 0.11 supports building with gmp 5.x svn path=/nixpkgs/branches/stdenv-updates/; revision=22268	2010-06-14 21:44:38 +00:00
Lluís Batlle i Rossell	ec59bcbf37	Disable PPL tests (although maybe we did not reach a consensus, let's disable ... it for the possible massive stdenv rebuilds to come) svn path=/nixpkgs/branches/stdenv-updates/; revision=19530	2010-01-18 22:47:45 +00:00
Ludovic Courtès	3e52549ea6	Add the Parma Polyhedra Library (PPL), an optional dependency of GCC 4.4. ... svn path=/nixpkgs/trunk/; revision=16421	2009-07-18 21:22:13 +00:00