summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorWilliam J. Bowman2017-02-08 17:06:18 -0500
committerWilliam J. Bowman2017-02-08 17:06:18 -0500
commita296f62fc4034c07a87c354850df82a89fee0754 (patch)
tree00da6b3e9bab3a72ebb804554ba0f6b719341ace
parent3affeb07c9f55a47637d7819518b99550e0b3af4 (diff)
downloadaur-a296f62fc4034c07a87c354850df82a89fee0754.tar.gz
Updated to 1.6.1-2
Enable parallel build based on recommendations from project
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD7
2 files changed, 4 insertions, 7 deletions
diff --git a/.SRCINFO b/.SRCINFO
index a82eac7be392..88f839a6ceed 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,7 @@
-# Generated by mksrcinfo v8
-# Sat Jan 7 19:31:43 UTC 2017
pkgbase = mathcomp
pkgdesc = The entire mathematical components library for Coq.
pkgver = 1.6.1
- pkgrel = 1
+ pkgrel = 2
url = https://math-comp.github.io/math-comp/
arch = i686
arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index ec603ac97626..88bd7012e1eb 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
pkgname=mathcomp
pkgver=1.6.1
-pkgrel=1
+pkgrel=2
pkgdesc="The entire mathematical components library for Coq."
url="https://math-comp.github.io/math-comp/"
arch=('i686' 'x86_64')
@@ -16,9 +16,8 @@ sha512sums=('bdafa1445483e5028796e9e9a0c63ecd248f3ac385e3003403f5749fb6454bed208
build() {
cd $srcdir/math-comp-math-comp-*/$pkgname
- # mathcomp 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(){