diff options
author | Paulo Matias | 2021-11-12 09:33:04 -0300 |
---|---|---|
committer | Paulo Matias | 2021-11-12 09:33:04 -0300 |
commit | 79154da7744700f8d843aef05e875ffd162d6b3a (patch) | |
tree | 52f1a8d109e4089ab882a37f270c6709161ff050 /PKGBUILD | |
parent | 66209bb697e7fedaa8998e472ec7dddc60a31d26 (diff) | |
download | aur-79154da7744700f8d843aef05e875ffd162d6b3a.tar.gz |
now builds 8% faster with 4 ghc jobs
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -2,7 +2,7 @@ # Maintainer: Paulo Matias <matias@ufscar.br> pkgname=bluespec-git -pkgver=r644.91ad4276 +pkgver=r648.61dc0ebb pkgrel=1 pkgdesc='Bluespec Compiler (BSC)' arch=('x86_64') @@ -34,7 +34,7 @@ prepare() { build(){ cd "$srcdir/bsc" - make GHC="ghc -dynamic" GHCJOBS=2 GHCRTSFLAGS='+RTS -M5G -A128m -RTS' install-src + make GHC="ghc -dynamic" GHCJOBS=4 GHCRTSFLAGS='+RTS -M5G -A128m -RTS' install-src make install-doc } |