CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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/Makefil... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_pred... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_inte... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_in...