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@cs.unipr.itwrote:
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@cs.unipr.it