
18 Dec
2011
18 Dec
'11
11:20 a.m.
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@cs.unipr.it