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>
