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'