[PPL-devel] Again on PPL + SWI + Debian

[Valerio Senni]

Hello,
thank you again for your help. Sorry for being silent these days, but it
took me some time
to compile PPL-0.10 on a P3 900 MHz (2days and 1.5GB hard disk,
remarkable!).
PPL-0.10 seems to compile just fine. All tests have been passed.
The executable "ppl_sicstus" works fine, tests passed.
However, when I start "ppl_pl" I get this error:

ppl_pl: error while loading shared libraries: libppl_swiprolog.so: cannot
open shared object file: No such file or directory

The file is indeed there, I have correct permissions, as you can see:

drwxr-xr-x 2 root    root        4096 2008-10-08 09:52 ppl

and

$ ls -l /usr/local/lib/ppl/

total 146144
-rw-r--r-- 1 root root 48873006 2008-10-08 09:52 libppl_swiprolog.a
-rwxr-xr-x 1 root root     1113 2008-10-08 09:51 libppl_swiprolog.la
-rwxr-xr-x 1 root root 25061241 2008-10-08 09:51 libppl_swiprolog.so
-rw-r--r-- 1 root root     1076 2008-10-08 09:51 ppl_sicstus.pl
-rwxr-xr-x 1 root root 26361088 2008-10-08 09:51 ppl_sicstus.so
-rw-r--r-- 1 root root 49170313 2008-10-08 09:51 ppl_sicstus.s.o
-rw-r--r-- 1 root root      988 2008-10-08 09:51 ppl_swiprolog.pl

I have also added the following lines to my ".bash_profile":

LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/local/lib:/usr/local/lib/ppl
export LD_LIBRARY_PATH
LD_RUN_PATH=$LD_RUN_PATH:/usr/local/lib:/usr/local/lib/ppl
export LD_RUN_PATH

I don't really get what's going on here. I suppose I have a problem with my
installation
of SWI prolog 5.6.58 (which, indeed, has been installed by using the
standard apt-get
package manager).
Sorry for these complications, it seems like I'm not very lucky with PPL :)

Valerio


On Tue, Oct 7, 2008 at 10:22 PM, Roberto Bagnara <bagnara at cs.unipr.it>wrote:

> Valerio Senni wrote:
>
>> Hello again,
>>
>
> Hi Valerio.
>
>  By looking into the 'pl_check.pl' file and running some tests
>> I discovered that the large integers and the handle_exceptions tests
>> fail and return exactly the error given during the 'make check'.
>> In attachment I provide the details of these tests.
>> This seems to answer my question on the reliability of my PPL
>> installation.
>>
>
> Yes, the answer is reliability == 0  :-)
>
>  How can I solve this problem?
>>
>
> The first thing to do is to switch to PPL 0.10.  If the problem persists,
> we need more details on your environment.
>
>  In attachment 3 I provide also a detailed SWI trace of the error generated
>> in the procedure handle_exceptions. Hope that this data can be useful.
>>
>
> Unfortunately I am not able to reproduce your observations here.
> 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 at cs.unipr.it
>