diff options
author | robinleander | 2018-07-27 15:27:08 +0200 |
---|---|---|
committer | robinleander | 2018-07-27 15:27:08 +0200 |
commit | da70ef7c6360a17935e379d6368e9e3f17ca35ff (patch) | |
tree | 96b9bdefa934a5e38e4531b18862dfb3aba8622d | |
parent | a3b5a18bf2e03fed5016b3b36127aab5a875f3a7 (diff) | |
download | aur-da70ef7c6360a17935e379d6368e9e3f17ca35ff.tar.gz |
Copy only nonexisting files
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 8 |
2 files changed, 6 insertions, 4 deletions
@@ -1,7 +1,7 @@ pkgbase = fstar-ulib pkgdesc = compiles the ulib component of F* pkgver = 0.9.6.0 - pkgrel = 7 + pkgrel = 8 url = https://www.fstar-lang.org/ arch = i686 arch = x86_64 @@ -2,7 +2,7 @@ pkgname=fstar-ulib pkgver=0.9.6.0 -pkgrel=7 +pkgrel=8 pkgdesc="compiles the ulib component of F*" arch=('i686' 'x86_64') url='https://www.fstar-lang.org/' @@ -12,12 +12,14 @@ depends=('fstar' 'z3' 'ocaml-fstar') build() { cd "$srcdir/" - cp -r /opt/fstar fstar + cp -r /opt/fstar/ . export FSTAR_HOME="$(pwd)/fstar" cd fstar/ulib/ml make -j4 } package() { - install -dm 755 fstar/ulib /opt/fstar/ulib + cd "$srcdir/" + mkdir -p "$pkgdir/opt/fstar/" + find fstar/ulib -type f -exec sh -c "find /opt/fstar/ulib | grep -q '{}$' || cp -r {} $pkgdir/opt/fstar" \; } |