October 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces Makefile.am Prolog/Makefile.am ...
by Enea Zaffanella 05 Oct '08

05 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-05 10:11:51 Modified files: interfaces : Makefile.am interfaces/Prolog: Makefile.am interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/XSB: Makefile.am interfaces/Prolog/YAP: Makefile.am interfaces/Prolog/tests: Makefile.am Log message: No longer generating documentation file Prolog_interface.dox; rather, we now generate Prolog_configured_interface.dox. Completed the simplification of conditional interface building: now the generation of Prolog interfaces too is based on the conditional definition of variable SUBDIRS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makef…

1 0

ppl/doc Makefile.am
by Enea Zaffanella 05 Oct '08

05 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-05 10:08:34 Modified files: doc : Makefile.am Log message: The Java devref manual is now also based on generated Java source files to be found in builddir/interfaces/Java/parma_polyhedra_library. The Prolog user manaul now depends on the fixed Prolog_interface.dox file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Enea Zaffanella 05 Oct '08

05 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-05 10:05:24 Added files: interfaces/Prolog: Prolog_interface.dox Log message: Added fixed version for Prolog_interface.dox: this will no longer be generated by m4 scripts. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/Watchdog Makefile.am configure.ac configur ...
by Roberto Bagnara 05 Oct '08

05 Oct '08

1 0

ppl/src Makefile.am
by Roberto Bagnara 05 Oct '08

05 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-05 09:22:56 Modified files: src : Makefile.am Log message: Readability improvement. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/Watchdog/tests
by Roberto Bagnara 05 Oct '08

05 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-05 07:40:09 ppl/Watchdog/tests Update of /cvs/ppl/ppl/Watchdog/tests In directory spartacus.cs.unipr.it:/tmp/cvs-serv9902/tests Log Message: Directory /cvs/ppl/ppl/Watchdog/tests added to the repository

1 0

ppl configure.ac configure.repo
by Roberto Bagnara 04 Oct '08

04 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-04 22:47:46 Modified files: . : configure.ac configure.repo Log message: Under Cygwin, SWI-Prolog does not work with foreign code. We thus disable that interface on that architecture. 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/configure.repo.diff?cvsroot=p…

1 0

ppl/interfaces/Prolog/Ciao ciao_efli.cc
by Roberto Bagnara 04 Oct '08

04 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-04 21:56:21 Modified files: interfaces/Prolog/Ciao: ciao_efli.cc Log message: Removed spurious `inline' qualifiers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_e…

1 0

ppl/m4 ac_check_ciao.m4
by Roberto Bagnara 04 Oct '08

04 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-04 21:55:53 Modified files: m4 : ac_check_ciao.m4 Log message: Adapted to the SVN HEAD version of Ciao. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_ciao.m4.diff?cvsr…

1 0

ppl/tests/Polyhedron Makefile.am
by Roberto Bagnara 04 Oct '08

04 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-04 19:54:21 Modified files: tests/Polyhedron: Makefile.am Log message: The program memory1 cannot be used to test with Valgrind since it intentionally causes out-of-memory conditions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0