[PPL-devel] ppl ./configure.ac m4/ac_check_gmp.m4

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at cs.unipr.it	2003-07-15 11:52:47

Modified files:
	.              : configure.ac 
	m4             : ac_check_gmp.m4 

Log message:
	Separated the check for the existence of the GMP library from the check
	that it has been compiled with the C++ interface enabled. Changed error
	messages accordingly, to avoid the user getting confused.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&r1=1.95&r2=1.96
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_gmp.m4.diff?cvsroot=ppl&r1=1.12&r2=1.13