[PPL-devel] ppl/interfaces/Prolog/SWI ppl_interface_genera ...

Sun Oct 7 17:45:42 CEST 2007

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	bagnara at cs.unipr.it	2007-10-07 17:45:42

Modified files:
	interfaces/Prolog/SWI: ppl_interface_generator_swiprolog_cc.m4 

Log message:
	No longer use global variables of kind mpz_class, since that does not
	allow to precisely control construction and destruction time.
	This triggers a bug in pl_check.pl: apparently it tries to use the
	PPL interface after having called ppl_finalize/0 without an intervening
	invocation of ppl_initialize/0.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_interface_generator_swiprolog_cc.m4.diff?cvsroot=ppl&r1=1.10&r2=1.11