Support PETSc 3.xHEADsvnmaster

git-svn-id: http://svn.cactuscode.org/arrangements/CactusExternal/PETSc/trunk@30 fc86f234-e40e-4302-a95b-5e02f8c343c9

1 files changed, 1 insertions, 1 deletions

diff --git a/PETSc.sh b/PETSc.sh
index effa838..071ebf9 100755
--- a/PETSc.sh
+++ b/PETSc.sh
@@ -98,7 +98,7 @@ fi
 
 # Set version-specific library directory
 # (version 2.3.0 and newer use different library directories)
-if [ -e "$PETSC_DIR/lib/$PETSC_ARCH" ]; then
+if [ -e "$PETSC_DIR/lib/$PETSC_ARCH" -o -e "$PETSC_DIR/lib/libpetsc.a" ]; then
   PETSC_LIB_INFIX=''
 else
   PETSC_LIB_INFIX='/libO'