CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2001-10-27 10:59:47

Modified files: . : configure.ac interfaces/Prolog/SICStus: Makefile.am ppl_sicstus.cc Added files: interfaces/Prolog/SICStus: ppl_check.pl ppl_sicstus.pl

Log message: Check to see whether `sicstus' is installed: if it is, tests can be performed. Some progress in the interface itself.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_... 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/ppl_...