[PPL-devel] [Fwd: PPL]

[Roberto Bagnara]

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