summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--PKGBUILD18
1 files changed, 10 insertions, 8 deletions
diff --git a/PKGBUILD b/PKGBUILD
index f561ce79a33d..4c28b1731ce3 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -21,14 +21,16 @@ prepare(){
}
build() {
- cmake -S ${pkgname}-v${pkgver} -B build -DCMAKE_INSTALL_PREFIX=/usr \
- -DCMAKE_BUILD_TYPE=Release \
- -DBUILD_SHARED_LIBS=ON \
- -DINSTALL_METIS_HEADERS=OFF \
- -DCOMMON_PTHREAD_FILE=ON \
- -DSCOTCH_PTHREAD=ON \
- -DSCOTCH_PTHREAD_MPI=ON \
- -DCOMMON_PTHREAD_AFFINITY_LINUX=ON
+ cmake -S ${pkgname}-v${pkgver} \
+ -B build \
+ -DCMAKE_INSTALL_PREFIX=/usr \
+ -DCMAKE_BUILD_TYPE=Release \
+ -DBUILD_SHARED_LIBS=ON \
+ -DINSTALL_METIS_HEADERS=OFF \
+ -DCOMMON_PTHREAD_FILE=ON \
+ -DSCOTCH_PTHREAD=ON \
+ -DSCOTCH_PTHREAD_MPI=ON \
+ -DCOMMON_PTHREAD_AFFINITY_LINUX=ON
cmake --build build --parallel
}