[petsc-users] --with-mpi=0

[Satish Balay]

On Sat, 18 Dec 2021, Barry Smith wrote:

> 
>   It seems like this might be a good strategy, presumably the directory is already made to hold mpi.h for MPI uni
> 
> >  Perhaps its possible to change our installer to have mpiuni's mod file at  prefix/include/petsc/mpiuni/mpi.mod - [to enable reusing mpi.mod name ]

>>>
        module petscmpi
#include <petscconf.h>
#include "petsc/finclude/petscsys.h"
#if defined(PETSC_HAVE_MPIUNI)
        use mpiuni
#else
#if defined(PETSC_HAVE_MPI_F90MODULE)
        use mpi
#else
#include "mpif.h"
#endif
#endif
<<<

There is also this use-case where there is no usable mpi.mod  - that petscmpi is currently
handling... Not sure how to deal with that..

Satish