<div class="gmail_quote">On Tue, May 4, 2010 at 01:08, Barry Smith <span dir="ltr"><<a href="mailto:bsmith@mcs.anl.gov">bsmith@mcs.anl.gov</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">The POSIX resolution semantics don't have anything to do with the<br>
compiler's working directory ($PWD), it has only to do with the location<br>
of the file.  Using the full path makes sense if you want to relocate<br>
*.c files *without* moving their accompanying headers (you'd have to<br>
edit the file if you wanted to use a relocated header).  In this case,<br>
it would still be (more) correct to <span class="il">include</span> the header with <span class="il">angle</span><br>
brackets instead of quotes (because correctness requires that the header<br>
is *not* found by following the path from the directory where the source<br>
file resides, we're relying on the header being found only after falling<br>
back to <span class="il">angle</span>-bracket semantics).<br>
</blockquote>
<br></div>
  Perhaps we should change them to use <></blockquote></div><br><div>I pushed this change. For consistency, if you want to include a file in the same directory as the source file, use #include "header.h". If the file is to be looked up in a system path or in some location specified by -I/path (such as -I$PETSC_DIR/include), then use #include <header.h>. Speak up if this has caused any problems.</div>