How to simplify petsc and mpi version sync
The following discussion from !13 (merged) should be addressed:
-
@jedbrown started a discussion: (+1 comment) @jeremylt @ZackJorquera I think this is accurate, but there must be an idiom. Should petsc-rs re-export
mpi
so a user canuse petsc::mpi::traits::*
and doesn't have to mentionmpi
in their ownCargo.toml
? We could even export it automatically inpetsc::prelude::*
, though I'm hesitant to be so promiscuous.