petsc-git-PKGBUILD

commit 4337578a9ebb32b59ff5e0478c449757703efc86
parent a1a9e5121f6a57b8fc653c8be46aa0c190bc0d1f
Author: Anders Damsgaard <anders@adamsgaard.dk>
Date:   Tue,  7 Dec 2021 11:22:47 +0100

disable debugging for increased runtime performance

Diffstat:
M
PKGBUILD
 | 
3
++-

1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/PKGBUILD b/PKGBUILD
@@ -5,7 +5,7 @@
 
 _base=petsc
 pkgname=("${_base}"-git)
-pkgver=3.16.0.47.g274bd3c7210
+pkgver=3.16.1.86.gdb9004e663d
 pkgrel=1
 _mainver="${pkgver:0:6}"
 pkgdesc="Portable, extensible toolkit for scientific computation"
@@ -110,6 +110,7 @@ build() {
     --FFLAGS="$generic_flags"
     --MAKEFLAGS=${MAKEFLAGS}
     --LDFLAGS=${LDFLAGS}
+    --with-debugging=no
     --with-environment-variables=1
     --with-cxx-dialect=auto
     --with-mpi=1