[PPL-devel] Compiling the PPL Debian package with SWI Prolog support

[Roberto Bagnara]

Israel Herraiz wrote:
> By the way, this happens with the Debian Sid package, corresponding to
> PPL 0.10.2.

Hi Israel,

the problem you describe seems more related to SWI-Prolog than to the PPL.
Anyway, I have tried to reproduce your observations on a machine where
we have Debian, but it is the Etch version.  Moreover, here is what I
obtain trying to install SWI-Prolog:

debian:~# apt-get install swi-prolog
Reading package lists...
Building dependency tree...
E: Package swi-prolog has no installation candidate
Package swi-prolog is not available, but is referred to by another package.
This may mean that the package is missing, has been obsoleted, or
is only available from another source

Any suggestion?  Which version of SWI-Prolog are you using?
Did you install it from sources?
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