[petsc-dev] Future of make?

Matthew Knepley knepley at gmail.com
Mon Jul 12 19:04:56 CDT 2010

I would like to quit using 'make' in favor of builder.py. I have been doing
this myself, but I have to
constantly port the changes people make to the original build. Is there a
reason to maintain make?

Also, I pushed preliminary support for dependency checking into builder.py.


What most experimenters take for granted before they begin their experiments
is infinitely more interesting than any results to which their experiments
-- Norbert Wiener
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20100712/d942e2d4/attachment.html>

More information about the petsc-dev mailing list