diff options
author | robinleander | 2018-07-29 14:19:05 +0200 |
---|---|---|
committer | robinleander | 2018-07-29 14:19:05 +0200 |
commit | 99ecb83ff22854ca7769a8b1ec605dc3474d6f7f (patch) | |
tree | f71ab6bc2499a31ec8ca84040bc4034fcad224e5 | |
parent | 5c2a436678a3b8820dc261b5400c2402da4c19f1 (diff) | |
download | aur-99ecb83ff22854ca7769a8b1ec605dc3474d6f7f.tar.gz |
Add comments, fix output path
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 7 |
2 files changed, 6 insertions, 3 deletions
@@ -1,7 +1,7 @@ pkgbase = fstar-ulib pkgdesc = compiles the ulib component of F* pkgver = 0.9.6.0 - pkgrel = 16 + pkgrel = 17 url = https://www.fstar-lang.org/ arch = i686 arch = x86_64 @@ -2,7 +2,7 @@ pkgname=fstar-ulib pkgver=0.9.6.0 -pkgrel=16 +pkgrel=17 pkgdesc="compiles the ulib component of F*" arch=('i686' 'x86_64') url='https://www.fstar-lang.org/' @@ -13,6 +13,7 @@ depends=('fstar' 'z3' 'ocaml-fstar') build() { cd "$srcdir/" rm -rf fstar + # Copy fstar's files to $srcdir pacman -Qlq fstar | while read f; do if [ -f "$f" ]; then mkdir -p "$(dirname ".$f")" @@ -22,14 +23,16 @@ build() { export FSTAR_HOME="$(pwd)/opt/fstar" export PATH="$PATH:$FSTAR_HOME/bin" cd opt/fstar/ulib/ml + # Build ulib make -j4 } package() { cd "$srcdir/" mkdir -p "$pkgdir/opt/fstar/ulib" + # Copy files that we created to $pkgdir find opt/fstar/ -type f | while read f; do mkdir -p "$(dirname "$pkgdir/$f")" - pacman -Qlq fstar | grep -qF "/$f" || cp "$f" "$pkgdir/opt/$f" + pacman -Qlq fstar | grep -qF "/$f" || cp "$f" "$pkgdir/$f" done } |