On 09/03/14 08:08, Fred Mesnard wrote:
Dear Roberto,
FYI, on OS X 10.7.5, I have compiled and installed:
- SWI-Prolog 7.1.21 using Macports
- the latest Git version of PPL ppl-user-1.2pre1
with the following ./configure --with-gmp=/opt/local --enable-interfaces=swi_prolog --enable-instantiations="BD_Shape<int8_t> @ Octagonal_Shape<int32_t> @ Polyhedron"
Except the usual detail wrt the html doc (see below), I have tested BinTerm+PPL: so far so good!
Hello Fred. A new PPL 1.2 snapshot has just been uploaded that should fix that issue. Thanks for reporting! Cheers,
Roberto
gzip: ./ppl-user-1.2pre1-html.tar.gz: No such file or directory install: ppl-user-1.2pre1-html/*: No such file or directory gzip: ./ppl-user-prolog-interface-1.2pre1-html.tar.gz: No such file or directory install: ppl-user-prolog-interface-1.2pre1-html/*: No such file or directory make[2]: *** [install-html] Error 71 make[1]: *** [install-am] Error 2 make: *** [install-recursive] Error 1
Le 28 août 2014 à 18:17, Roberto Bagnara a écrit :
Hello Fred.
On 27/08/2014 08:36, Fred Mesnard wrote:
does PPL work with SWI-Prolog >= 7.1.x?
The Git version of the PPL does work with SWI-Prolog 7.*. The same will hold for PPL 1.2, to be released soon. Meanwhile, please fetch a PPL 1.2 snapshot from
http://bugseng.com/products/ppl/download/ftp/snapshots/
and check whether it works for you. Please let us know. Kind regards,
Roberto
-- Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com _______________________________________________ PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel
PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel