-------- 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