Parallel build

2 files changed, 3 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 59781c5526d8..7ff07f30e215 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = ocaml-fstar
 	pkgdesc = An ML-like language with a type system for program verification.
 	pkgver = 0.9.6.0
-	pkgrel = 1
+	pkgrel = 2
 	arch = i686
 	arch = x86_64
 	license = Apache
diff --git a/PKGBUILD b/PKGBUILD
index 4775f14f4794..b996cd7973d8 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,7 +4,7 @@
 pkgname=ocaml-fstar
 _oname=fstar
 pkgver=0.9.6.0
-pkgrel=1
+pkgrel=2
 pkgdesc="An ML-like language with a type system for program verification."
 arch=('i686' 'x86_64')
 url=''
@@ -17,7 +17,7 @@ sha384sums=('831cf86c861f69ebc536633874e924e37b851494778eb0e1e435c5d46272d59e761
 
 build() {
   cd "$srcdir/"*/
-  make PREFIX=%{prefix}% -C src/ocaml-output
+  make PREFIX=%{prefix}% -C src/ocaml-output -j4
   make PREFIX=%{prefix}% -C ulib install-fstarlib
   make PREFIX=%{prefix}% -C ulib install-fstar-tactics
 }