diff options
author | robinleander | 2018-07-27 16:06:12 +0200 |
---|---|---|
committer | robinleander | 2018-07-27 16:06:12 +0200 |
commit | 5f47e21ef2a0eb6c3bbd83fe1c44a72b0683ead5 (patch) | |
tree | 1e1702355ee7aa6e9150ac2657f25b911ebc97ee | |
parent | ea1f8fa307d1c1e4cafa46899ca21d2b9ae8087d (diff) | |
download | aur-5f47e21ef2a0eb6c3bbd83fe1c44a72b0683ead5.tar.gz |
Remake ulib
-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 = 9 + pkgrel = 10 url = https://www.fstar-lang.org/ arch = i686 arch = x86_64 @@ -2,7 +2,7 @@ pkgname=fstar-ulib pkgver=0.9.6.0 -pkgrel=9 +pkgrel=10 pkgdesc="compiles the ulib component of F*" arch=('i686' 'x86_64') url='https://www.fstar-lang.org/' @@ -16,8 +16,8 @@ build() { export FSTAR_HOME="$(pwd)/fstar" cd fstar/ulib make clean + make -j4 cd ml - make clean make -j4 } |