-------- Original Message -------- Subject: PPL Date: Mon, 14 Jul 2003 09:56:34 +0200 From: Samir Genaim <genaim@sci.univr.it> To: bagnara@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