summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid Wells2017-05-02 09:04:45 -0400
committerDavid Wells2017-05-02 09:05:37 -0400
commit8778de0e25758b34ce95daac9eb469fbda316e60 (patch)
tree7de69c29a05837afd3fb803728bf870ca2387fe8
parentc735e1ec492aeda8c53857dd76495d69edfa58bc (diff)
downloadaur-8778de0e25758b34ce95daac9eb469fbda316e60.tar.gz
Check for PETSc with an environment variable.
-rw-r--r--PKGBUILD2
1 files changed, 1 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 25443ae4d6f3..d79ae07c9c6d 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -74,7 +74,7 @@ build() {
fi
# See if PETSc was configured to use 64 bit indices:
- if pacman -Qs petsc >/dev/null
+ if [ -n "${PETSC_DIR+x}" ]
then
if grep '^#define PETSC_USE_64BIT_INDICES 1' $PETSC_DIR/include/petscconf.h >/dev/null
then