diff options
author | robinleander | 2018-07-29 14:16:44 +0200 |
---|---|---|
committer | robinleander | 2018-07-29 14:16:44 +0200 |
commit | 5c2a436678a3b8820dc261b5400c2402da4c19f1 (patch) | |
tree | 687d0d19fca5265f154183d26da963151875d943 | |
parent | c64784a12a7f8a7b00f85b59912e2b1c97c80fe5 (diff) | |
download | aur-5c2a436678a3b8820dc261b5400c2402da4c19f1.tar.gz |
Fix path hacks
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 4 insertions, 4 deletions
@@ -1,7 +1,7 @@ pkgbase = fstar-ulib pkgdesc = compiles the ulib component of F* pkgver = 0.9.6.0 - pkgrel = 15 + pkgrel = 16 url = https://www.fstar-lang.org/ arch = i686 arch = x86_64 @@ -2,7 +2,7 @@ pkgname=fstar-ulib pkgver=0.9.6.0 -pkgrel=15 +pkgrel=16 pkgdesc="compiles the ulib component of F*" arch=('i686' 'x86_64') url='https://www.fstar-lang.org/' @@ -13,7 +13,7 @@ depends=('fstar' 'z3' 'ocaml-fstar') build() { cd "$srcdir/" rm -rf fstar - pacman -Ql fstar | cut -f 2 -d ' ' | while read f; do + pacman -Qlq fstar | while read f; do if [ -f "$f" ]; then mkdir -p "$(dirname ".$f")" cp "$f" ".$f" @@ -30,6 +30,6 @@ package() { mkdir -p "$pkgdir/opt/fstar/ulib" find opt/fstar/ -type f | while read f; do mkdir -p "$(dirname "$pkgdir/$f")" - pacman -Ql fstar | cut -f 2 -d ' ' | grep -qF "/$f" || cp "$f" "$pkgdir/opt/$f" + pacman -Qlq fstar | grep -qF "/$f" || cp "$f" "$pkgdir/opt/$f" done } |