[petsc-dev] Future of make?

[Matthew Knepley]

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.

   Matt

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