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

[Roberto Bagnara]

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