Re: [petsc-dev] --known-mpi-shared-library and --with-batch annoyance

Lisandro Dalcin <[email protected]> writes:

...

If we allow --single-library=0, I do not see how we can avoid this.

Shouldn't MPI static be linked only in libpetscsys? That should work...

So you want the MPI symbols to be inlined into libpetscsys.so, then every other component that needs MPI will directly link libpetscsys.so?