Proof and Xcode

Dear all,

did anyone manage to get Proof working inside the Xcode framework in a MAC with several cores? it works fine in my macbook except that it crashes when tries to untar and compile the tar file in each core. I’ll keep trying but if anyone knows the solution I would really appreciate his/her help.

Best regards



I am not aware of anyone doing that (perhaps you could provide an essential howto for people interested).

What ‘tar’ file are you trying to untar and compile?

G. Ganis