<div dir="ltr"><div dir="ltr">On Wed, Oct 23, 2019 at 2:27 PM Jed Brown <<a href="mailto:jed@jedbrown.org">jed@jedbrown.org</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">Matthew Knepley via petsc-dev <<a href="mailto:petsc-dev@mcs.anl.gov" target="_blank">petsc-dev@mcs.anl.gov</a>> writes:<br>
<br>
> On Wed, Oct 23, 2019 at 11:24 AM Faibussowitsch, Jacob via petsc-dev <<br>
> <a href="mailto:petsc-dev@mcs.anl.gov" target="_blank">petsc-dev@mcs.anl.gov</a>> wrote:<br>
>> As I am largely unfamiliar with the internals of the configure process,<br>
>> this is potentially more of an involved change than I am imagining, given<br>
>> that many libraries likely have many small dependencies and hooks which<br>
>> have to be set throughout the configuration process, and so its possible<br>
>> not everything could be skipped.<br>
>><br>
><br>
> We had this many years ago. It was removed because the benefits did not<br>
> outweigh the costs.<br>
<br>
I don't know if it's still the case, but it should be possible to run<br>
non-interactively (like apt-get -y).  My bigger complaint is that<br>
missing dependencies aren't resolved in the first couple seconds.<br>
</blockquote></div><br clear="all"><div>How do you know that you actually have something until you actually run the tests? This is the classic</div><div>misconception of pkg-config, "I'll just believe the user", which generated 99% of user mail over the first</div><div>20 years of PETSc.</div><div><br></div><div>   Matt</div><div><br></div>-- <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>