diff options
author | David Wells | 2017-05-02 09:04:45 -0400 |
---|---|---|
committer | David Wells | 2017-05-02 09:05:37 -0400 |
commit | 8778de0e25758b34ce95daac9eb469fbda316e60 (patch) | |
tree | 7de69c29a05837afd3fb803728bf870ca2387fe8 | |
parent | c735e1ec492aeda8c53857dd76495d69edfa58bc (diff) | |
download | aur-8778de0e25758b34ce95daac9eb469fbda316e60.tar.gz |
Check for PETSc with an environment variable.
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |