After endless futzing I've gotten --download-prometheus working with both --with-clanguage=C and C++ with petsc-dev on my Mac. Should work everywhere :-).
Satish, could you try adding it to a nightly build? You also need --download-parmetis Thanks Barry
