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.