summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorWilliam J. Bowman2017-02-08 17:41:59 -0500
committerWilliam J. Bowman2017-02-08 17:43:34 -0500
commit3706a123ca896e4b4b0fcf7727cad7cc6979038d (patch)
tree2d730dc254249c268a3c796290e94d0787ef6bdc
parent074e39647247153b92b87c641c93df1e0aa73f96 (diff)
downloadaur-3706a123ca896e4b4b0fcf7727cad7cc6979038d.tar.gz
Updated to 1.6.1-3
Enable parallel build based on recommendations from project
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD5
2 files changed, 3 insertions, 6 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 9aecc9999cd9..10bdf2c0fec0 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,7 @@
-# Generated by mksrcinfo v8
-# Sat Jan 7 19:22:35 UTC 2017
pkgbase = ssreflect
pkgdesc = The ssreflect unit of the mathematical components library for Coq.
pkgver = 1.6.1
- pkgrel = 2
+ pkgrel = 3
url = https://math-comp.github.io/math-comp/
arch = i686
arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index 0c26d6767792..e715713d98c3 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -22,9 +22,8 @@ sha512sums=('bdafa1445483e5028796e9e9a0c63ecd248f3ac385e3003403f5749fb6454bed208
build() {
cd $srcdir/math-comp-math-comp-*/mathcomp/$pkgname
- # SSReflect requires *a lot* of memory to build. It can be a good
- # idea add -j1 to the following command to force a sequential build.
- make
+ # Per recommendations from README, use -j 3
+ make -j 3
}
package(){