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