July 2003 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs ppl.raw Download/Download.raw por ...
by Roberto Bagnara 15 Jul '03

15 Jul '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-07-15 19:09:50 Modified files: htdocs : ppl.raw htdocs/Download: Download.raw Added files: htdocs : portability.raw Removed files: htdocs/Download: portability.raw Log message: Page on portability moved and extended. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/portability.raw?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/portability…

1 0

ppl ./configure.ac m4/ac_check_gmp.m4
by Enea Zaffanella 15 Jul '03

15 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-07-15 11:52:47 Modified files: . : configure.ac m4 : ac_check_gmp.m4 Log message: Separated the check for the existence of the GMP library from the check that it has been compiled with the C++ interface enabled. Changed error messages accordingly, to avoid the user getting confused. 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/m4/ac_check_gmp.m4.diff?cvsro…

1 0

w3ppl/htdocs Bugs/Bugs.raw Download/Download.r ...
by Enea Zaffanella 15 Jul '03

15 Jul '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2003-07-15 11:50:03 Modified files: htdocs/Bugs : Bugs.raw htdocs/Download: Download.raw requirements.raw Added files: htdocs/Download: dev-requirements.raw portability.raw Log message: Tried to bring the library requirements in much more evidence. Also splitted the contents in 3 files, for better clarity. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/dev-require… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/portability… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

Re: PPL
by Roberto Bagnara 14 Jul '03

14 Jul '03

Samir Genaim wrote: > I'm trying to install your PPL library and use with SICStus Prolog running > on RedHat 9. However I didn't succeed to install either the rpm packages or > compile the sources. I enclosed below a description of the error messages I > got. I'll be thankful if you have a look and tell me if you have any idea > what is wrong in my configuration ? > > [...] > > Installing ppl-sicstus-0.5-1.i386.rpm works fine, but when installing the > sicstus interface I get the following: > > [root@localhost ppl]# rpm -i ppl-sicstus-0.5-1.i386.rpm > error: Failed dependencies: > libgmpxx.so.3 is needed by ppl-sicstus-0.5-1 > libpwl.so.1 is needed by ppl-sicstus-0.5-1 > > what's the libpwl ?? I couldn't found this library on rpmfind.net Dear Samir, the PWL is the "Parma Watchdog Library" and the fact that you could not find an RPM for it in the PPL web and ftp sites is our fault. We will correct this situation as soon as possible, but meanwhile you have to compile from the sources. Which brings us to the topic of the problem you are having with GMP. > When running "./configure --enable-cxx" it complain about a missing > library: > > GMP is the GNU Multi-Precision library: > see http://www.swox.com/gmp/ for more information. > Do not forget to enable the C++ interface: add --enable-cxx > to the configuration options. > > BUT this library is installed on my machine: > > [root@localhost ppl-0.5]# rpm -q gmp > gmp-4.1.2-2 While you have a version of GMP installed on your system, this version has been built with the C++ interface disabled. Unfortunately, distributors such as Red Hat still tend to ship RPM packages for GMP with this problem, regularly dismaying C++ programmers. You will thus have to build GMP by yourself, using a configure command like /wherever/gmp-4.1.2/configure --prefix=/usr/local --enable-cxx (notice the `--enable-cxx', as recommended, in the error message above). To make sure this is the cause of the problem (as I am pretty sure), try to do $ rpm -ql gmp /usr/lib/libgmp.so.3 /usr/lib/libgmp.so.3.3.2 /usr/lib/libmp.so.3 /usr/lib/libmp.so.3.1.6 /usr/share/doc/gmp-4.1.2 /usr/share/doc/gmp-4.1.2/COPYING /usr/share/doc/gmp-4.1.2/NEWS /usr/share/doc/gmp-4.1.2/README You should see that the C++ interface is not there. You are missing the libgmpxx.* files. For instance, in my system I have /usr/local/lib/libgmp.a /usr/local/lib/libgmp.la /usr/local/lib/libgmp.so /usr/local/lib/libgmp.so.3 /usr/local/lib/libgmp.so.3.3.2 /usr/local/lib/libgmpxx.a /usr/local/lib/libgmpxx.la /usr/local/lib/libgmpxx.so /usr/local/lib/libgmpxx.so.3 /usr/local/lib/libgmpxx.so.3.0.4 (do not worry about the *.la files). Please do not hesitate to come back to us (ppl-devel(a)cs.unipr.it) in case you have any problem. If you plan to use the PPL, let me suggest you subscribe to the PPL-announce mailing list: very low traffic and only the very important information goes there. See http://www.cs.unipr.it/ppl/MailingLists/ for the details. Cheers 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

ppl/src Determinate.inlines.hh
by Roberto Bagnara 14 Jul '03

14 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-14 17:54:40 Modified files: src : Determinate.inlines.hh Log message: Fixed two copy-and-paste errors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.di…

1 0

ppl/src Polyhedra_PowerSet.inlines.hh PowerSet ...
by Roberto Bagnara 14 Jul '03

14 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-14 17:47:03 Modified files: src : Polyhedra_PowerSet.inlines.hh PowerSet.defs.hh PowerSet.inlines.hh Log message: Lots of improvements and bug fixes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl/src Determinate.inlines.hh
by Roberto Bagnara 14 Jul '03

14 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-14 17:46:11 Modified files: src : Determinate.inlines.hh Log message: Exploit pointer equality to optimize equality and containment tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.di…

1 0

ppl/src AskTell.defs.hh AskTell.inlines.hh
by Roberto Bagnara 14 Jul '03

14 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-14 17:44:57 Modified files: src : AskTell.defs.hh AskTell.inlines.hh Log message: Several improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.inlines.hh.diff?c…

1 0

[Fwd: PPL]
by Roberto Bagnara 14 Jul '03

14 Jul '03

-------- Original Message -------- Subject: PPL Date: Mon, 14 Jul 2003 09:56:34 +0200 From: Samir Genaim <genaim(a)sci.univr.it> To: bagnara(a)cs.unipr.it Dear Roberto, I'm trying to install your PPL library and use with SICStus Prolog running on RedHat 9. However I didn't succeed to install either the rpm packages or compile the sources. I enclosed below a description of the error messages I got. I'll be thankful if you have a look and tell me if you have any idea what is wrong in my configuration ? Regards, Samir ======================================================== Here is a summary of what I get when installing PPL: -- RPM: Installing ppl-sicstus-0.5-1.i386.rpm works fine, but when installing the sicstus interface I get the following: [root@localhost ppl]# rpm -i ppl-sicstus-0.5-1.i386.rpm error: Failed dependencies: libgmpxx.so.3 is needed by ppl-sicstus-0.5-1 libpwl.so.1 is needed by ppl-sicstus-0.5-1 what's the libpwl ?? I couldn't found this library on rpmfind.net -- Compiling the sources: When running "./configure --enable-cxx" it complain about a missing library: GMP is the GNU Multi-Precision library: see http://www.swox.com/gmp/ for more information. Do not forget to enable the C++ interface: add --enable-cxx to the configuration options. BUT this library is installed on my machine: [root@localhost ppl-0.5]# rpm -q gmp gmp-4.1.2-2 -- 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/src AskTell.defs.hh AskTell.inlines.hh Pol ...
by Roberto Bagnara 13 Jul '03

13 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-13 12:16:22 Modified files: src : AskTell.defs.hh AskTell.inlines.hh Polyhedra_PowerSet.defs.hh Log message: Fixed a few glitches. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h…

1 0