diff options
author | robinleander | 2018-07-27 11:47:19 +0200 |
---|---|---|
committer | robinleander | 2018-07-27 11:47:40 +0200 |
commit | 507bcaa8000a2e85d57e0e3bf054022dd489724d (patch) | |
tree | eb28e6eb6807347f1d41e61a68c26dc6db7c7192 | |
parent | f2920ac7603e4b63951997537d618cae473c540e (diff) | |
download | aur-507bcaa8000a2e85d57e0e3bf054022dd489724d.tar.gz |
Parallel build
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 3 insertions, 3 deletions
@@ -1,7 +1,7 @@ pkgbase = fstar-ulib pkgdesc = compiles the ulib component of F* pkgver = 0.9.6.0 - pkgrel = 3 + pkgrel = 4 url = https://www.fstar-lang.org/ arch = i686 arch = x86_64 @@ -2,7 +2,7 @@ pkgname=fstar-ulib pkgver=0.9.6.0 -pkgrel=3 +pkgrel=4 pkgdesc="compiles the ulib component of F*" arch=('i686' 'x86_64') url='https://www.fstar-lang.org/' @@ -15,7 +15,7 @@ build() { cp -r /opt/fstar fstar export FSTAR_HOME="$(pwd)/fstar" cd fstar/ulib - make + make -j4 } package() { |