<div dir="ltr"><div dir="ltr">On Mon, Jul 17, 2023 at 10:55 AM philliprusso via petsc-users <<a href="mailto:petsc-users@mcs.anl.gov">petsc-users@mcs.anl.gov</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="font-family:Arial,sans-serif;font-size:14px">I cloned petsc source for use with dolfinx project. So after .configure mak sudo make install I found there was some type of difficulty with the destination directory so I copied the files manually into usr/includes of Ubuntu 22.04 jammy. So some petsc header files are now found for compiling cpp dolfinx source code but petscconf.h still not found by dolfinxs source tree of header files. Anyone know how to remedy this so dolfinx cpps can find petsscconf.h that g++ is claiming as missing? Thank you!</div></blockquote><div><br></div><div>1. I think the safest thing is to fix the install</div><div><br></div><div>2. petscconf.h is in $PETSC_ARCH/include, not the top-level include, since it is build-specific</div><div><br></div><div> Thanks,</div><div><br></div><div> Matt</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div style="font-family:Arial,sans-serif;font-size:14px">
<div>
</div>
<div>
Sent with <a href="https://proton.me/" rel="noopener noreferrer" target="_blank">Proton Mail</a> secure email.
</div>
</div>
</blockquote></div><br clear="all"><div><br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><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.cse.buffalo.edu/~knepley/" target="_blank">https://www.cse.buffalo.edu/~knepley/</a><br></div></div></div></div></div></div></div></div>