[PPL-devel] ppl README.configure TODO

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	bagnara at cs.unipr.it	2007-02-28 17:47:09

Modified files:
	.              : README.configure TODO 

Log message:
	Mention the fact that GCC version 3.4.x are known to miscompile at least
	one of the development snapshots that led to PPL 0.10.  Mention also
	the fact that GCC 3.3.3 segfaults on such a snapshot (CVS HEAD, at least
	on x86_64).

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot=ppl&r1=1.18&r2=1.19
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.209&r2=1.210