diff options
author | schnetter <schnetter@fc86f234-e40e-4302-a95b-5e02f8c343c9> | 2009-09-29 14:40:38 +0000 |
---|---|---|
committer | schnetter <schnetter@fc86f234-e40e-4302-a95b-5e02f8c343c9> | 2009-09-29 14:40:38 +0000 |
commit | f25aa7a139f4614248e0aa4b2fedad73090b5027 (patch) | |
tree | cded2f3cc679782d47818266f74fc4dc18f01aa4 /PETSc.sh | |
parent | e02a4502ad01cf17a0d23f1fbdc658f5e4c25d79 (diff) |
git-svn-id: http://svn.cactuscode.org/arrangements/CactusExternal/PETSc/trunk@30 fc86f234-e40e-4302-a95b-5e02f8c343c9
Diffstat (limited to 'PETSc.sh')
-rwxr-xr-x | PETSc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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' |