[petsc-users] external packages

[Tabrez Ali]

Hello

W.r.t. to external packages, does "--download-xyz=yes" implicitly means 
"--with-xyz=1"

Also, is "--download-xyz=yes" exactly same as "--download-xyz"

Regards,

Tabrez