[PPL-devel] PPL and SWI-Prolog >= 7.1.x?

[Fred Mesnard]

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 at cs.unipr.it
>                              BUGSENG srl - http://bugseng.com
>                              mailto:roberto.bagnara at bugseng.com
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> http://www.cs.unipr.it/mailman/listinfo/ppl-devel