[PPL-devel] SICStus interface

[Tristan Denmat]

Dear Roberto,
Indeed, I mixed to things : I should have a ppl_sicstus executable file 
in /bin AND a ppl_sicstus.pl in /lib but actually I have none of them... 
(I am trying to install the 0.7 distribution)
It looks as if the configure script doesn't guess that I have SICStus...
Then, my question is how can I help it ?
Thank you very much

Tristan

> Tristan Denmat wrote:
>
>> Hi,
>> I am trying to use the interface between PPL and SICStus. Following 
>> what is said in the manual, there should be an .pl file in the /bin 
>> directory but there is not. Does it mean that I forgot to put a flag 
>> or something like this ?
>> Thanks,
>> Tristan Denmat
>
>
> Dear Tristan,
>
> which version of the PPL are you using?  I am asking because I wonder
> where did you read that a .pl file would be installed in the /bin
> directory.  I attach below the relevant section of the manual, taken
> from the PPL 0.7 distribution and also available at
>
>     http://www.cs.unipr.it/ppl/Documentation/user/
>
> Please do not hesitate to come back to us if you need further
> explanations.
> All the best,
>
>     Roberto
>