October 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/OCaml OCaml_interface.dox
by Enea Zaffanella 10 Oct '08

10 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-10 21:06:37 Modified files: interfaces/OCaml: OCaml_interface.dox Log message: The link for OCaml generated documentation is now set to the index page. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/OCaml_interf…

1 0

Problems building snapshot 0.10pre32
by Michael Tautschnig 10 Oct '08

10 Oct '08

Dear PPL developers, I was just about to package and upload the pre32 snapshot to upload to Debian/unstable, but building fails because of an unused variable: make[5]: Entering directory `/home/tautschn/ppl/ppl-0.10~pre32/demos/ppl_lpsol' i486-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I../.. -I../../interfaces/C -pedantic -std=gnu89 -Werror -g -O2 -frounding-math -Wall -g -O2 -W -Wall -MT ppl_lpsol.o -MD -MP -MF .deps/ppl_lpsol.Tpo -c -o ppl_lpsol.o ppl_lpsol.c cc1: warnings being treated as errors ppl_lpsol.c:1184: error: 'glpk_message_interceptor' defined but not used Could you let us know once a fixed snapshot is available? Thanks, Michael

2 4

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

10 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-10 16:10:35 Modified files: . : configure.ac configure.repo Log message: Version number bumped. 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 Prolog_interface.dox
by Patricia Hill 10 Oct '08

10 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-10 15:04:10 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 10 Oct '08

10 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-10 11:56:11 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Typos fixed. The introduction to the manual revised. Structure/contents list for the main section improved and moved to earlier in the document. Links are now there to all the sections and subsections. Issues relating to compilation and installation have been moved, where necessary, to that section. Note about the stack size for GNU Prolog added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl configure.ac configure.repo
by Enea Zaffanella 09 Oct '08

09 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-09 21:11:18 Modified files: . : configure.ac configure.repo Log message: n Fedora 9 systems, the default path to (OpenJDK) java is /usr/lib/jvm/java. 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/SWI swi_prolog_generated ...
by Roberto Bagnara 09 Oct '08

09 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-09 19:44:44 Modified files: interfaces/Prolog/SWI: swi_prolog_generated_test.pl Log message: Previous change reverted: library(lists) may not be installed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_pro…

1 0

ppl/interfaces/OCaml/tests Makefile.am
by Roberto Bagnara 09 Oct '08

09 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-09 19:39:43 Modified files: interfaces/OCaml/tests: Makefile.am Log message: Optionally run the tests under Valgrind. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/Makefi…

1 0

ppl/src namespaces.hh
by Enea Zaffanella 09 Oct '08

09 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-09 15:14:55 Modified files: src : namespaces.hh Log message: Foreign language interface namespaces do not belong to the C++ interface group. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/namespaces.hh.diff?cvsroo…

1 0

ppl/interfaces C/ppl_c_header.h Java/parma_pol ...
by Enea Zaffanella 09 Oct '08

09 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-09 15:13:57 Modified files: interfaces/C : ppl_c_header.h interfaces/Java/parma_polyhedra_library: Parma_Polyhedra_Library.java interfaces/OCaml: OCaml_interface.dox interfaces/Prolog: Prolog_interface.dox Log message: Added missing \defgroup Doxygen command for the foreign language interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_header.h.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhed… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/OCaml_interf… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0