dune_install(petsccommon.hh petscdofblock.hh petscdofmappings.hh
             petscghostarraybuilder.hh petscslavedofprovider.hh petscvector.hh)