[PPL-devel] Again on PPL + SWI + Debian

[Valerio Senni]

The following test under SWI succeeds.
It seems simply to be a problem of the "ppl_pl" executable.

Valerio

valerio:~/ppl-0.10pre32/interfaces/Prolog/tests$ swipl
Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version 5.6.58)
Copyright (c) 1990-2008 University of Amsterdam.
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?- consult('/usr/local/lib/ppl/ppl_swiprolog.pl').
% /usr/local/lib/ppl/ppl_swiprolog.pl compiled 0.08 sec, 452,940 bytes
true.

?- [pl_check].
% pl_check compiled 0.05 sec, 152,096 bytes
true.

?- assert(prolog_system(swi)).
true.

?- check_noisy.

Version major is 0
Version minor is 10
Version revision is 0
Version beta is 32
Version is 0.10pre32

This is the Parma Polyhedra Library (PPL) version 0.10pre32.
Copyright (C) 2001-2008 Roberto Bagnara <bagnara at cs.unipr.it>.

The PPL is free software; see the source for copying conditions.
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A
PARTICULAR PURPOSE.

Compiled by the GNU C++ compiler version 4.1.2 20061115 (prerelease) (Debian
4.1.1-21).

Report bugs to ppl-devel at cs.unipr.it.  For the most up-to-date information
see the Parma Polyhedra Library site: http://www.cs.unipr.it/ppl/ .

Contributors:
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella, Elisa Ricci,
Abramo Bagnara, Andrea Cimino, Katy Dobson, Elena Mazzi,
Andrea Pescetti, Barbara Quartieri, Alessandro Zaccagnini,
Irene Bacchi, Danilo Bonardi, Sara Bonini, Giordano Fracasso,
Maximiliano Marchesi, David Merchat, Matthew Mundell, Angela Stazzone,
Fabio Trabucchi, Claudio Trento, Tatiana Zolo.

Special thanks:
Lucia Alessandrini, Marco Comini, Bruno Haible, Bertrand Jeannet
Herve' Le Verge, Francesco Logozzo, Costantino Medori, Fred Mesnard.

...
true.

?-