[PPL-devel] Compiling PPL with OS X Lion

[Roberto Bagnara]

On 12/18/11 11:11, Fred Mesnard wrote:
> Hi all!
>
> I am considering upgrading to OS X 10.7 (Lion).
> Will I be able to compile the PPL?

Hi Fred!

It is difficult to say: it depends on the version of the PPL
you want to compile and on the tools you have installed on
your machine.  Many people use the latest version of the PPL
under OS X 10.7 so my guess is that there are no big obstacles
in compiling it for that platform.  In any case, we are here
to help.
Cheers,

    Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it