diff options
author | robinleander | 2018-07-27 18:26:01 +0200 |
---|---|---|
committer | robinleander | 2018-07-27 18:26:01 +0200 |
commit | 4a63ea6c9437fb3e29eb611bea13267cb1fdae2f (patch) | |
tree | 013adc476b1c35dd76aeda9ba661ad6fd7f5475c | |
parent | 5e3b14ed31b24c3c27549e66f9632646ea349490 (diff) | |
download | aur-4a63ea6c9437fb3e29eb611bea13267cb1fdae2f.tar.gz |
Add Fstar to path
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 7 |
2 files changed, 4 insertions, 5 deletions
@@ -1,7 +1,7 @@ pkgbase = fstar-ulib pkgdesc = compiles the ulib component of F* pkgver = 0.9.6.0 - pkgrel = 11 + pkgrel = 12 url = https://www.fstar-lang.org/ arch = i686 arch = x86_64 @@ -2,7 +2,7 @@ pkgname=fstar-ulib pkgver=0.9.6.0 -pkgrel=11 +pkgrel=12 pkgdesc="compiles the ulib component of F*" arch=('i686' 'x86_64') url='https://www.fstar-lang.org/' @@ -15,9 +15,8 @@ build() { rm -rf fstar cp -r /opt/fstar/ . export FSTAR_HOME="$(pwd)/fstar" - cd fstar - find -name '*.cmx' -delete - cd ulib/ml + export PATH="$PATH:$FSTAR_HOME/bin" + cd fstar/ulib/ml make -j4 } |