August 2007 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C C_interface.dox
by Enea Zaffanella 30 Aug '07

30 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-08-30 11:55:20 Added files: interfaces/C : C_interface.dox Log message: Recovered documentation for the C interface types and functions related to convex polyhedra. This file will not be compiled (since the functions will be automatically generated), it just serve as a template documentation for all kind of domains. To be checked for completeness wrt the actually generated code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/C_interface.dox?…

1 0

configuration
by Basile STARYNKEVITCH 28 Aug '07

28 Aug '07

Hello All, I am still missing a specific README file or an HTML page explaining all the details of PPL configuration and compilation (ie all the traps possible at build time). I feel that PPL is more configurable than most plain GNU stuff, hence that some basic documentation about PPL configuration and compilation is useful, in particular to newscomers. May I suggest to (at least) add something like: PPL is usable from programs written in C, C++, Ocaml, Prolog. You'll need to pass the appropriate --enable-interfaces flag to its configure script. to the "General Information on the PPL" page http://www.cs.unipr.it/ppl/Documentation/user/ in the Main Features section. or perhaps to add a "Building PPL" [sub-] section (I had a hardware crash and I did lost my previous PPL configuration -but not much else than configuration files- and I had to try several times to find the right configuration to me) with the ppl-0.10pre7 snapshot (or pre-release?) configured thru ./configure '--enable-interfaces=c,cxx,ocaml' '--sysconfdir=/etc/local' a make install does not install any ppl_c.h file, as I would expect. Is it normal or did I misunderstood something (probable)? Actually, I need to test in a autconf file (gcc/configure.ac) the availability of the C interface to PPL. Any ideas? Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mines, sont seulement les miennes} ***

3 2

ppl/m4 Makefile.am ppl_c.m4
by Roberto Bagnara 28 Aug '07

28 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-08-28 15:38:49 Modified files: m4 : Makefile.am Added files: m4 : ppl_c.m4 Log message: Initial implementation of the new function AM_PATH_PPL_C to to test for the existence and usability of particular versions of the C interface of the PPL, defining macros containing the required paths. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ppl_c.m4?cvsroot=ppl&rev=1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/Makefile.am.diff?cvsroot=p…

1 0

ppl/m4 ppl.m4
by Roberto Bagnara 28 Aug '07

28 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-08-28 15:35:14 Modified files: m4 : ppl.m4 Log message: Several bugs fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ppl.m4.diff?cvsroot=ppl&r1…

1 0

ppl configure.ac
by Roberto Bagnara 28 Aug '07

28 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-08-28 13:59:11 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/m4 ppl.m4
by Roberto Bagnara 27 Aug '07

27 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-08-27 20:28:19 Modified files: m4 : ppl.m4 Log message: Trailing whitespace removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ppl.m4.diff?cvsroot=ppl&r1…

1 0

ppl/interfaces/C Makefile.am
by Roberto Bagnara 27 Aug '07

27 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-08-27 20:12:29 Modified files: interfaces/C : Makefile.am Log message: Install also ppl_c.h. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff…

1 0

ppl/Watchdog/doc user.doxyconf-html.in user.do ...
by Roberto Bagnara 27 Aug '07

27 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-08-27 15:17:48 Modified files: Watchdog/doc : user.doxyconf-html.in user.doxyconf-latex.in Log message: Updated to Doxygen 1.5.3-20070815. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/user.doxyconf-ht… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/user.doxyconf-la…

1 0

w3ppl/htdocs FAQ.raw
by Roberto Bagnara 27 Aug '07

27 Aug '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-08-27 12:25:37 Modified files: htdocs : FAQ.raw Log message: Escape '@' characters. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/FAQ.raw.diff?cvsroot…

1 0

w3ppl/htdocs FAQ.raw
by Roberto Bagnara 27 Aug '07

27 Aug '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-08-27 12:18:45 Modified files: htdocs : FAQ.raw Log message: Drafted an answer to the "which paper to cite" question. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/FAQ.raw.diff?cvsroot…

1 0