CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2008-01-21 22:01:16 Modified files: interfaces : ppl_interface_generator_common.m4 interfaces/Prolog/Ciao: Makefile.am ppl_interface_generator_ciao_predicate_check_pl.m4 interfaces/Prolog/SICStus: Makefile.am sp_predicate_check.pl interfaces/Prolog/SWI: Makefile.am swi_predicate_check.pl interfaces/Prolog/XSB: Makefile.am ppl_interface_generator_xsb_predicate_check_P.m4 interfaces/Prolog/tests: Makefile.am ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_pl.m4 ppl_predicate_check_common.pl Log message: The tests for all the interfaces predicates that are generated and were placed in ppl_predicate_check.pl are now generated and split into a number of files; the top-level one is ppl_predicate_test_main.pl and the rest have a name of the form ppl_predicate_test_CLASS.pl where CLASS is the name of an interface class (there is just one file "ppl_predicate_test_Polyhedron.pl" for both the C_Polyhedron and NNC_Polyhedron domains. This resolves a problem when checking the interface predicates for XSB with more than 3 classes where the large generated file caused an error to be thrown. This change has been tested on SWI Prolog, SICStus, XSB and Ciao Prolog with up to 4 (5 if we count C_Polyhedron and NNC_Polyhedron separately) different interface classes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gener... 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/Ciao/ppl_int... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Make... 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/Makefile... 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/Makefile... 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/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_pr...