diff options
author | robinleander | 2018-07-30 12:50:35 +0200 |
---|---|---|
committer | robinleander | 2018-07-30 12:50:35 +0200 |
commit | ec7943693f848bd130bff449c05b65e74e5e921d (patch) | |
tree | 63ecaaa3421e0ff16a4a1b1e2d6f60706d3ad1a4 | |
parent | 99ecb83ff22854ca7769a8b1ec605dc3474d6f7f (diff) | |
download | aur-fstar-ulib.tar.gz |
Build entire ulib
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 5 insertions, 3 deletions
@@ -1,7 +1,7 @@ pkgbase = fstar-ulib pkgdesc = compiles the ulib component of F* pkgver = 0.9.6.0 - pkgrel = 17 + pkgrel = 18 url = https://www.fstar-lang.org/ arch = i686 arch = x86_64 @@ -2,7 +2,7 @@ pkgname=fstar-ulib pkgver=0.9.6.0 -pkgrel=17 +pkgrel=18 pkgdesc="compiles the ulib component of F*" arch=('i686' 'x86_64') url='https://www.fstar-lang.org/' @@ -22,9 +22,11 @@ build() { done export FSTAR_HOME="$(pwd)/opt/fstar" export PATH="$PATH:$FSTAR_HOME/bin" - cd opt/fstar/ulib/ml + cd opt/fstar/ulib # Build ulib make -j4 + cd ml + make -j4 } package() { |