configure.py script

2007-07-19 Thread Satish Balay
- this topic is more appropriate for petsc-users list [not petsc-dev] - the configure generated files are in bmake/${PETSC_ARCH} Satish On Thu, 19 Jul 2007, Sumit Vaidya wrote: I configured PETSc 2.3.3-p3 on Red Hat Linux. I did not see any new makefiles generated. I came to know about this

COVERITY static source code analysis

2007-07-19 Thread Lisandro Dalcin
Have any of you ever consider asking PETSc being included here, as it is an open source project? http://scan.coverity.com/index.html From many sources (mainly related to Python), it seems the results are impressive. Regards, -- Lisandro Dalc?n --- Centro Internacional de M?todos

COVERITY static source code analysis

2007-07-19 Thread Matthew Knepley
I'm for it. Barry, do you want to mail scan-admin at coverity.com? Matt On 7/19/07, Lisandro Dalcin dalcinl at gmail.com wrote: Have any of you ever consider asking PETSc being included here, as it is an open source project? http://scan.coverity.com/index.html From many sources (mainly

No subject

2007-07-19 Thread Barry Smith
We would like you to consider adding PETSc www.mcs.anl.gov/petsc as a Scan project. I will serve as the contact for the PETSc developers. Thank you, Barry Smith -- Forwarded message -- Date: Thu, 19 Jul 2007 22:12:48 -0300 From: Lisandro Dalcin dalc...@gmail.com