diff options
author | Mort Yao | 2021-04-25 12:41:56 +0200 |
---|---|---|
committer | Mort Yao | 2021-04-25 12:41:56 +0200 |
commit | e71d74bb70dfc5bfcc01757bbe7561d6dceb0279 (patch) | |
tree | 587e03ca7a9a022bc843a6d679d1716604b1355f /PKGBUILD | |
parent | 4d4b5b6a91de0de77e0403828abd962dcbfc00c7 (diff) | |
download | aur-prover9.tar.gz |
prover9-2009.11A-3
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -2,7 +2,7 @@ # Submitter: Max de Bayser <maxdebayser@gmail.com> pkgname=prover9 pkgver=2009.11A -pkgrel=2 +pkgrel=3 pkgdesc="Prover9 is an automated theorem prover for first-order and equational logic" arch=('i686' 'x86_64') url="http://www.cs.unm.edu/~mccune/prover9/" @@ -15,7 +15,7 @@ md5sums=('ab409f31ecbb4410b1c7d75deadea2c6') build() { cd "$srcdir/LADR-${pkgver/./-}" - make all + make all -j1 } package() { |