summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorGiuseppe Borzi2016-07-22 15:03:41 +0200
committerGiuseppe Borzi2016-07-22 15:03:41 +0200
commitf749a65d625984a29b52be37e29884e507731c0a (patch)
treea18f93b9d06eb544d47f1c7a324f3b30cbc2a8a3
parentfdbcbbb42e8b7108bda42fa4023ef15ca0e6615b (diff)
downloadaur-f749a65d625984a29b52be37e29884e507731c0a.tar.gz
Removed petsc
Diffstat
-rw-r--r--PKGBUILD3
1 files changed, 2 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index ff66da8540e3..0200a0c6226b 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -31,7 +31,8 @@ build() {
cd build
- cmake -DCMAKE_INSTALL_PREFIX:PATH=/usr -DENABLE_BUILD_SHARED=ON ..
+ cmake -DCMAKE_INSTALL_PREFIX:PATH=/usr -DENABLE_BUILD_SHARED=ON \
+ -DENABLE_PETSC=FALSE ..
make
}