[petsc-dev] why is there a #requirespackage 'PETSC_HAVE_PCBDDC'

[Barry Smith]

Why is there a    #requirespackage 'PETSC_HAVE_PCBDDC'   ?

Having things like this means that when someone is updating code globally changes to locations like these do not get tested before being pushed and hence is likely broken. 

   That directory appears to depend on PARMETIS so should have that dependency listed in the makefile instead

   Barry