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

Israel Herraiz isra at herraiz.org
Tue Aug 4 12:10:45 CEST 2009


Hi all,

I am trying to obtain a PPL Debian package with Prolog support,
because the official package is only compiled with C and C++
support. However, I am facing a strange problem while trying to
compile the package, because one of the tests is not passed.

The Debian package scripts execute the configure script with the
following options (for my laptop):

 ./configure --build i486-linux-gnu --host i486-linux-gnu
             --enable-interfaces=c,cxx,swi_prolog
	     --disable-ppl_lpsol --disable_ppl_lcdd
	     --prefix=/usr --mandir=${prefix}/share/man
	     --infodir=${prefix}/share/info
	     CFLAGS=-Wall -g -O2
	     
	     
Then make is called with the following options:

 make -j2

Everything goes right until the SWI Prolog tests are done. One of them
fails. The conflicting test is called "ppl_prolog_generated_test", in
the interfaces/Prolog/SWI directory, and it fails with the following
error:

 ERROR: ppl_new_C_Polyhedron_from_constraints_2_test/0: Undefined
 procedure: member/2

(full output available at http://pastebin.com/f478e4360)

This is strange, because member/2 is part of SWI Prolog, and AFAIK it
should be available by default.

The test tries to execute the Prolog programs using a modified
version of SWI Prolog, with a binary called ppl_pl, that is linked
against some of the PPL libraries. Interestingly, when trying to
execute or compile the same programs from a "standard" SWI Prolog
session, it runs fine.

I can still build the package skipping those tests. But I want to file
a bug report against the Debian package to get SWI Prolog support
included in the official package, and I suspect that it has not yet
been included because of this issue.

It might be related to SWI Prolog instead of PPL. But maybe someone in
this list has faced a similar problem before.

Any clue about why is this failing?

Cheers,
Israel

PS: I am not subscribed to the list. Thanks for replying to me in CC.



More information about the PPL-devel mailing list