summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD6
2 files changed, 4 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 36f11800bd9..8ccfdea20b3 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = simgrid
pkgdesc = A scientific instrument to study large-scale distributed systems
pkgver = 3.25
- pkgrel = 2
+ pkgrel = 3
url = https://simgrid.org/
arch = i686
arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index 39321b73697..2c26a90d69b 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Millian Poquet <millian.poquet@gmail.com>
pkgname=simgrid
pkgver=3.25
-pkgrel=2
+pkgrel=3
pkgdesc='A scientific instrument to study the behavior of large-scale distributed systems such as Grids, Clouds, HPC or P2P systems.'
arch=('i686' 'x86_64')
url='https://simgrid.org/'
@@ -15,9 +15,9 @@ package() {
cd "${srcdir}/${pkgname}-v${pkgver}"
cmake . \
-DCMAKE_INSTALL_PREFIX=/usr \
- -Denable_compile_optimizations=OFF \
+ -Denable_compile_optimizations=ON \
-Denable_documentation=OFF \
- -Denable_lto=OFF \
+ -Denable_lto=ON \
-Denable_smpi=ON
make -j $(nproc)
make DESTDIR="${pkgdir}" install