December 2007 - PPL-devel - BUGSENG Mailman

ppl/tests ppl_test.hh
by Roberto Bagnara 28 Dec '07

28 Dec '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-12-28 08:08:09 Modified files: tests : ppl_test.hh Log message: Added missing std:: qualification. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl/tests print.hh
by Roberto Bagnara 28 Dec '07

28 Dec '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-12-28 08:07:42 Modified files: tests : print.hh Log message: Must include <cstdlib> for getenv(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=p…

1 0

ppl configure.ac
by Roberto Bagnara 10 Dec '07

10 Dec '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-12-10 10:28:36 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 NEWS
by Roberto Bagnara 10 Dec '07

10 Dec '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-12-10 10:28:26 Modified files: . : NEWS Log message: Three items improved and merged. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.22…

1 0

ppl/src C_Polyhedron.defs.hh Grid.defs.hh
by Roberto Bagnara 10 Dec '07

10 Dec '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-12-10 10:28:07 Modified files: src : C_Polyhedron.defs.hh Grid.defs.hh Log message: Comments improved for consistency (the abbreviation we use for `bounded-difference shape' is `BDS'). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

Re: [PPL-devel] Compile error on last versions
by Roberto Bagnara 09 Dec '07

09 Dec '07

Dario Meloni wrote: > > Maybe if i send it as a reply... ^^ > However i have zipped the compiler error log to avoid size problems > hoping no one has problems with zip attachments Dear Dario, the problem we experienced is the content-filtering functionality of Mailman, as explained here: http://mail.python.org/pipermail/mailman-users/2005-February/043009.html I don't know which kind of attachment you had in your original message, but I would like to check: please resend only to me that message once again. Concerning zip, yes, our mailman configuration disliked it, so the message was discarded. For the future, I have added application/zip to the set of allowed attachment types. Now I need to authorize also the kind of attachment you sent yesterday and on December 4. > Here there is the original mail > >> I am having a problem while installing the library on Mac OS X Leopard >> (10.5) on a Mac Intel. I tried the last beta and then tried the CVS >> version (last update done just 5-10 minutes ago [was 4 december]) >> since i need the jni libraries and there isn't such thing in 0.9. >> >> I am trying to put everything in a specific path (/opt/julia), to do >> so I have manualy installed the GMP library with enabled the cxx >> interface with that prefix, and i am building the PPL with this >> configuration: >> ./configure --prefix=/opt/julia --with-libgmp-prefix=/opt/julia >> --with-libgmpxx-prefix=/opt/julia >> >> The result of the makefile is in the attached file This looks like a compiler problem. Which version of GCC are you using? My recommendation is to use GCC 4.1.2 or later version. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 5

Problems with the ppl-devel mailing list
by Roberto Bagnara 07 Dec '07

07 Dec '07

Hi there, three days ago, mellon85(a)gmail.com sent a message to the ppl-devel mailing list. I (think I have) approved it and added the sender to the accept filter, but the message did not show up, neither on the list, nor in the archives. Here is the only trace I could find in the mailman log files: Dec 04 14:15:06 2007 (2680) PPL-devel post from mellon85(a)gmail.com held, message-id=<08B26E7C-5D84-480D-A387-4B342B2DA0FB(a)gmail.com>: Post by non-member to a members-only list Yesterday I wrote to mellon85(a)gmail.com apologizing (perhaps I pushed the wrong button the other day) and asking him to send the message again. He did that, and this morning the message was still blocked because it was too big, i.e.: Dec 06 23:00:43 2007 (2680) PPL-devel post from mellon85(a)gmail.com held, message-id=<F61AC58F-071C-4B1D-8829-E2DD0D7AD3C8(a)gmail.com>: Message body is too big: 158306 bytes with a limit of 150 KB I went to the administration page and: I clicked on "accept"; I closed my eyes, opened them again and verified that I did click on "accept"; I got up, walked around the office and checked that, yes, I did click in "accept". Then I clicked on "submit". Since the message is not showing up and I cannot find any traces of it on the system, I guess something went wrong again. Enea, can you please check that our installation of mailman is in good shape? mellon85, I apologize again: can you please send it again to ppl-devel (so as to help us fixing the mailing list problems), CC to me (so that we can help you with your problems with the PPL)? Thanks to everyone, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 1

Problems with the ppl-devel mailing list
by Roberto Bagnara 07 Dec '07

07 Dec '07

Hi there, three days ago, mellon85(a)gmail.com sent a message to the ppl-devel mailing list. I (think I have) approved it and added the sender to the accept filter, but the message did not show up, neither on the list, nor in the archives. Here is the only trace I could find in the mailman log files: Dec 04 14:15:06 2007 (2680) PPL-devel post from mellon85(a)gmail.com held, message-id=<08B26E7C-5D84-480D-A387-4B342B2DA0FB(a)gmail.com>: Post by non-member to a members-only list Yesterday I wrote to mellon85(a)gmail.com apologizing (perhaps I pushed the wrong button the other day) and asking him to send the message again. He did that, and this morning the message was still blocked because it was too big, i.e.: Dec 06 23:00:43 2007 (2680) PPL-devel post from mellon85(a)gmail.com held, message-id=<F61AC58F-071C-4B1D-8829-E2DD0D7AD3C8(a)gmail.com>: Message body is too big: 158306 bytes with a limit of 150 KB I went to the administration page and: I clicked on "accept"; I closed my eyes, opened them again and verified that I did click on "accept"; I got up, walked around the office and checked that, yes, I did click in "accept". Then I clicked on "submit". Since the message is not showing up and I cannot find any traces of it on the system, I guess something went wrong again. Enea, can you please check that our installation of mailman is in good shape? mellon85, I apologize again: can you please send it again to ppl-devel (so as to help us fixing the mailing list problems), CC to me (so that we can help you with your problems with the PPL)? Thanks to everyone, Roberto -- 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 0

ppl/interfaces/Java/jni ppl_interface_generato ...
by Patricia Hill 05 Dec '07

05 Dec '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-12-05 14:08:16 Modified files: interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 Log message: Corrected code for free() as suggested by Andrea Cimino. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter…

1 0

ppl ./NEWS src/BD_Shape.defs.hh src/BD_Shape.i ...
by Patricia Hill 05 Dec '07

05 Dec '07

1 0