<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, Apr 25, 2018 at 2:36 PM, Jed Brown <span dir="ltr"><<a href="mailto:jed@jedbrown.org" target="_blank">jed@jedbrown.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">It is currently installed to include/petsc/mpiuni/mpi.h and petscsys.h<br>
includes it as <mpi.h>, which means that users of MPIUNI need to put<br>
-I/prefix/include/petsc/mpiuni in their command lines.  Matt and I agree<br>
that this is bad.  We disagree on the solution.<br>
<br>
He wants to install it to /prefix/include/mpi.h as though the user had<br>
written --download-mpich.  This would conflict if a user later installs<br>
a real MPI to that location.<br></blockquote><div><br></div><div>The idea should be that "installing" means that everyone is using compatible things</div><div>from that location. If you allow an MPIUNI PETSc to be installed to a location that</div><div>also has another MPI, what does mpiexec in ./bin do? There is just as much potential</div><div>for confusion as there is when putting an MPICH PETSc in a location with OpenMPI</div><div>installed.</div><div><br></div><div>   Matt</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I would rather that petscsys.h include <petsc/mpiuni/mpi.h> because it<br>
can't be used without PETSc and nobody who ever wrote #include <mpi.h><br>
in their own code will be happy if they get MPIUNI.<br>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead.<br>-- Norbert Wiener</div><div><br></div><div><a href="http://www.caam.rice.edu/~mk51/" target="_blank">https://www.cse.buffalo.edu/~knepley/</a><br></div></div></div></div></div>
</div></div>