CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2006-11-21 22:55:25 Modified files: interfaces/Prolog/tests: Makefile.am ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_pl.m4 Added files: interfaces/Prolog/SICStus: sp_predicate_check.pl interfaces/Prolog/SWI: swi_predicate_check.pl interfaces/Prolog/tests: ppl_predicate_check_common.pl Removed files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_extra_code Log message: The fixed part of the code containing the test data is now a separate Prolog file called tests/ppl_predicate_check_common.pl This is included with the generated code by the top-level test files: SICStus/sp_predicate_check.pl and SWI/swi_predicate_check.pl. Similar files will be needed by the other Prolog systems before they can run these generated tests. The code generator no longer attempts to generate tests for the fixed MIP and version predicates. The file tests/ppl_interface_generator_predicate_check_extra_code which contained the fixed data is now replaced by ppl_predicate_check_common.pl. Patches: 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/tests/ppl_pr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makefi... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_in... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_in... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_in...