[PPL-devel] ppl/sicstus/segmentation violation

[Roberto Bagnara]

Samir Genaim wrote:
> 
>> $ ppl_sicstus
> 
> I was running sicstus and not ppl_sicstus, now it works, Thanks !.

Dear Samir,

the problem is that it is supposed to work also with sicstus.
The difference is that dynamic loading will be used:

$ sicstus
SICStus 3.12.3 (x86-linux-glibc2.3): Thu Oct 27 17:45:37 CEST 2005
Licensed to math.unipr.it
| ?- load_foreign_resource('/usr/local/lib/ppl/ppl_sicstus').
% loading foreign resource /usr/local/lib/ppl/ppl_sicstus.so in module user
yes
| ?- ppl_initialize, A='$VAR'(0),B='$VAR'(1),ppl_new_NNC_Polyhedron_from_constraints([A>B,B>=A],X),ppl_delete_Polyhedron(X).

A = A,
B = B,
X = 271413168 ? yes
| ?- $

If you confirm that dynamic loading is not working for you, then
take into account that we are willing to investigate the problem:
it may actually be a bug in the PPL!  On the other hand, if you
prefer not to spend time on ascertaining what is happening,
we will understand.
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