diff options
author | robinleander | 2018-07-27 14:13:33 +0200 |
---|---|---|
committer | robinleander | 2018-07-27 14:13:33 +0200 |
commit | ecebc5afe552c79491f2895fdc76ec42e76f4ad8 (patch) | |
tree | 6e804f7fa6d2387f34d96a1c8ca4b9b48284ca4d | |
parent | 488a13eb68065c26d8d2cb9a169f46469988bbd3 (diff) | |
download | aur-ecebc5afe552c79491f2895fdc76ec42e76f4ad8.tar.gz |
Fix make directory
-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 = 5 + pkgrel = 6 url = https://www.fstar-lang.org/ arch = i686 arch = x86_64 @@ -2,7 +2,7 @@ pkgname=fstar-ulib pkgver=0.9.6.0 -pkgrel=5 +pkgrel=6 pkgdesc="compiles the ulib component of F*" arch=('i686' 'x86_64') url='https://www.fstar-lang.org/' @@ -14,7 +14,7 @@ build() { cd "$srcdir/" cp -r /opt/fstar fstar export FSTAR_HOME="$(pwd)/fstar" - cd fstar/ulib + cd fstar/ulib/ml make -j4 } |