CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_9-branch Changes by: bagnara@cs.unipr.it 2007-02-17 18:56:36

Modified files: . : ppl.spec.in Added files: . : ppl-0.9-docfiles.patch interfaces/Prolog/GNU: README.gprolog interfaces/Prolog/SWI: README.swiprolog interfaces/Prolog/YAP: README.yap

Log message: Make `swiprolog-devel' depend on `pl' (at leat 5.6); documentation added. The `yap' package has been renamed `yap-devel' and completed. The `gprolog' package has been renamed `gprolog-devel' and completed. The `ppl_lcdd' and `ppl_lpsol' programs are now in a new `utils' package. The `ppl-config' program is now in the `devel' package. Modified the configuration command so that the `glpk-devel' include files are found.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl-0.9-docfiles.patch?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&a... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/README.g... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/README.s... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/README.y...