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