[PPL-devel] ppl/interfaces/Prolog Ciao/Makefile.am SICStus ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2008-01-18 12:03:50

Modified files:
	interfaces/Prolog/Ciao: Makefile.am 
	interfaces/Prolog/SICStus: sp_predicate_check.pl 
	interfaces/Prolog/SWI: swi_predicate_check.pl 
	interfaces/Prolog/XSB: 
	                       ppl_interface_generator_xsb_predicate_check_P.m4 
	interfaces/Prolog/tests: 
	                         ppl_interface_generator_predicate_check_pl.m4 

Log message:
	Enable make predicate_check_test for Ciao.
	To do this, the ":- include ppl_predicate_check_common."
	directive has to be in the generated file ppl_predicate_check.pl
	
	For this reason, the corresponding directives in swi_predicate_check.pl
	and SICStus/sp_predicate_check.pl have been removed.
	
	For XSB, the include directive is not supported as is and instead
	a "#include" must be used. Changes made for XSB to handle this.
	
	Warning messages given by the Ciao system when compiling
	the generated file ppl_predicate_check.pl need further investigation
	but the test in Ciao succeeds.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefile.am.diff?cvsroot=ppl&r1=1.67&r2=1.68
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_predicate_check.pl.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_predicate_check.pl.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_interface_generator_xsb_predicate_check_P.m4.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_interface_generator_predicate_check_pl.m4.diff?cvsroot=ppl&r1=1.29&r2=1.30