diff options
author | robinleander | 2018-07-27 11:35:17 +0200 |
---|---|---|
committer | robinleander | 2018-07-27 11:35:17 +0200 |
commit | 1f03ee0fd83a7da999ccc32010d01893a7a9391b (patch) | |
tree | 04cfeb5e8112f0ec3c2452498b7f8016a5f42115 | |
parent | 0038b87cda3148d7398789ce2decc63f3b14ff54 (diff) | |
download | aur-1f03ee0fd83a7da999ccc32010d01893a7a9391b.tar.gz |
Fix ulib path
-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 = 1 + pkgrel = 2 url = https://www.fstar-lang.org/ arch = i686 arch = x86_64 @@ -2,7 +2,7 @@ pkgname=fstar-ulib pkgver=0.9.6.0 -pkgrel=1 +pkgrel=2 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 + cd fstar/ulib make } |