[PPL-devel] ppl ./configure.ac src/Integer.defs.hh src/Int ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	altnum
Changes by:	roberto at cs.unipr.it	2004-08-12 14:54:54

Modified files:
	.              : configure.ac 
	src            : Integer.defs.hh Integer.types.hh 

Log message:
	First go at a setup that allows to test the new checked code against
	the old one.  The configure option `--enable-new-checked-code' does
	what is expected.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.114.2.2&r2=1.114.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.11.2.1&r2=1.11.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.types.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.8.2.2&r2=1.8.2.3