Module: ppl/ppl Branch: master Commit: e17e80c8940b435d646eaac97bba591ee744ef34 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e17e80c8940b4...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 15 17:39:08 2010 +0200

Both GNU Prolog 1.3.0 and GNU Prolog 1.3.1 have bugs that affect the PPL.

---

interfaces/Prolog/GNU/README.gprolog | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/interfaces/Prolog/GNU/README.gprolog b/interfaces/Prolog/GNU/README.gprolog index 32d814a..4acb035 100644 --- a/interfaces/Prolog/GNU/README.gprolog +++ b/interfaces/Prolog/GNU/README.gprolog @@ -1,7 +1,7 @@ The GNU Prolog interface to the Parma Polyhedra Library (PPL) is available both as a PPL-enhanced GNU Prolog interpreter and as a library that can be linked to GNU Prolog programs. Only GNU Prolog -version 1.3.0 and later versions are supported. +version 1.3.2(20100322) and later versions are supported.

So that it can be used with the GNU Prolog PPL interface (and, for that matter, with any foreign code), the GNU Prolog installation must