PPL and SWI-Prolog >= 7.1.x?
Hi there, does PPL work with SWI-Prolog >= 7.1.x? Thanks in advance, Fred
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
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! Ciao, Fred 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
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
-- 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
Dear Roberto, Although I still have a minor problem for generating the doc because I don't have the right tools installed on my machine, PPL 1.2pre4 compiles under the latest OS X 10.9.5 and SWI-Prolog 7.1.23. Cheers, Fred
participants (2)
-
Fred Mesnard -
Roberto Bagnara