October 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/Ciao Makefile.am
by Patricia Hill 01 Oct '08

01 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-01 15:44:18 Modified files: interfaces/Prolog/Ciao: Makefile.am Log message: Revised the diff command for the generated test to use the relevant files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0

ppl/interfaces/Prolog/XSB ppl_interface_genera ...
by Patricia Hill 01 Oct '08

01 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-01 15:31:50 Modified files: interfaces/Prolog/XSB: ppl_interface_generator_xsb_H.m4 Log message: Improved formatting of the generated file ppl_xsb.H Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_int…

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Patricia Hill 01 Oct '08

01 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-01 15:06:03 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_ml.m4 ppl_interface_generator_ocaml_mli.m4 Log message: Formatting improvements to the generated files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 01 Oct '08

01 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-01 14:58:33 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_procedure_generators.m4 interfaces/Prolog/Ciao: ppl_interface_generator_ciao_pl.m4 Log message: Fixed some formatting bugs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_in…

1 0

ppl/interfaces/C ppl_interface_generator_c_h.m ...
by Patricia Hill 01 Oct '08

01 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-01 14:28:28 Modified files: interfaces/C : ppl_interface_generator_c_h.m4 ppl_interface_generator_c_hh_files.m4 Log message: Formatting of generated files improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/interfaces/Prolog/Ciao ciao_pl_check.pl
by Patricia Hill 01 Oct '08

01 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-01 13:50:33 Modified files: interfaces/Prolog/Ciao: ciao_pl_check.pl Log message: Added some missing predicates to the list. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_p…

1 0

ppl STANDARDS
by Enea Zaffanella 01 Oct '08

01 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-01 12:50:02 Modified files: . : STANDARDS Log message: Added explanations for test macros DO_TEST_MAY_OVERFLOW_IF_INEXACT and DO_TEST_F<XXX>_MAY_OVERFLOW_IF_INEXACT. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0

ppl/interfaces/Prolog/GNU Makefile.am
by Patricia Hill 01 Oct '08

01 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-01 12:29:53 Modified files: interfaces/Prolog/GNU: Makefile.am Log message: Removed unwanted copying/removing of files in code for executing the generated tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil…

1 0

[Fwd: PPL questions (GGCC related)]
by Roberto Bagnara 01 Oct '08

01 Oct '08

-------- Original Message -------- Subject: PPL questions (GGCC related) Date: Tue, 16 Sep 2008 08:52:28 +0200 From: Basile STARYNKEVITCH <basile(a)starynkevitch.net> To: Roberto Bagnara <bagnara(a)cs.unipr.it> CC: Basile.starynkevitch(a)cea.fr Hello Roberto (Feel free to forward this email to the PPL mailing list if you feel it could be interesting) Some simple PPL questions. First, a rather selfish complain. The GCC compiler is requiring some precise old versions of autoconf (2.59 IIRC). Changing that is hard (but I'm sure the GCC community would welcome patches!). PPL apparently requires 2.61 It is painful for me to have to use many incompatible autoconf (and I hate all the auto{conf,make,local} stuff). May I suggest a simple, but ugly, solution: put the generated configure files inside your CVS repository (btw, do you consider switching to SVN?) - perhaps just as configure.generated and add inside README.configure a small note about that (saying that mv configure.generated configure could be used as an alternative to autoconf). We had an interesting exchange about debugprinting into a string in PPL. From my point of view, debugprinting into a string means putting (or appending) into a string (not a FILE*) a textual representation of PPL data, for debugging purposes... Ideally, I would dream of being able to transmit to the debugprinting routines an indentation (so that any newline is followed by some given number of spaces), but I could manage without. What is the quickest way to achieve that? I would prefer avoiding fmemopen or open_memstream if possible (it is too GNUlibc specific). 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} *** -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 1

ppl/interfaces/C/tests print_to_buffer.h
by Roberto Bagnara 01 Oct '08

01 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-01 12:02:49 Modified files: interfaces/C/tests: print_to_buffer.h Log message: Documentation updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/tests/print_to_b…

1 0