[PPL-devel] problems installing ppl-0.[78] with sicstus on amd64

[Roberto Bagnara]

Peter Schneider-Kamp wrote:
> We are trying to use PPL for finite domain solving of
> non-linear constraints in our research project.
> 
> Unfortunately, on our computing server (4x Opteron 848)
> we cannot get PPL to install.
> 
> I have attached the output of "make install"
> to this mail. There seems to be a problem with linking
> to sicstus.
> 
> If you have any ideas how to resolve this issue
> we would be very glad. Also, if you just have some
> pointers where to look for the problem we also
> would greatly appreciate that information. We really
> need to get PPL working!

Dear Peter,

we have succeeded in reproducing the problem you report.
Can you please test the attached patch?
Please let us know how it goes.
All the best,

    Roberto

P.S. Are you using the PPL for termination analysis?
      And how do you use it with non-linear constraints?
      Just curious...

-- 
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
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_ppl-0-8_ppl-20060125
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20060125/cf6e13e3/attachment.ksh>