[petsc-dev] build errror

[Mark F. Adams]

>> 
> 
> Something else seems to be amiss. I just did as Mark did (with the
> same gmake in my PATH) and it went through fine. Mark, perhaps you
> could update Xcode to 5.0 and also command-line tools?

I download 5.0 but can not see how to get the command-line tools.  Google and even the Help menu (in 5.0!) give me instructions for 4.3, which seem out of date.  How do I get these installed and in my path?
Thanks,
Mark