[PPL-devel] SICStus interface

[Roberto Bagnara]

Tristan Denmat wrote:
> 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)

Dear Tristan,

the first thing to clarify is what you mean by /bin and /lib.
If you really expect to find `ppl_sicstus' in /bin, then it
means you have configured the PPL with the --prefix=/ option
(something which is highly unadvisable, by the way).

If you did not use the --prefix option, then the right places
to look in are /usr/local/bin and /usr/local/lib, since the
default prefix is /usr/local.

> It looks as if the configure script doesn't guess that I have SICStus...

This is another possibility, indeed.

> Then, my question is how can I help it ?

Let us first try to diagnose the problem.  First of all, please do
not be offended if I ask you whether you gave the `make install'
command.  If you did not, then that is the problem.

I assume now you have a version of SICStus Prolog that is at least 3.9.1
and that the command `sicstus' is enough to launch the interpreter.
If you have an older version of SICStus, then you have to upgrade.
If the version is OK and `sicstus' is not in your execution path,
then you need to set the PATH environment variable

If version and PATH are OK, then please send us the file `config.log'
that the `configure' script creates in its current working directory.
I am sure we will be able to find the problem and solve it very quickly.
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