Date: Saturday, September 12, 2020 @ 09:00:33 Author: felixonmars Revision: 703320
upgpkg: z3 4.8.9-2: fix file conflict Modified: z3/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-09-12 09:00:32 UTC (rev 703319) +++ PKGBUILD 2020-09-12 09:00:33 UTC (rev 703320) @@ -5,7 +5,7 @@ pkgbase=z3 pkgname=('z3' 'python-z3') pkgver=4.8.9 -pkgrel=1 +pkgrel=2 pkgdesc='High-performance theorem prover' url='https://github.com/Z3Prover/z3' arch=('x86_64') @@ -47,7 +47,7 @@ make DESTDIR="${pkgdir}" install install -Dm 644 ../LICENSE.txt -t "${pkgdir}/usr/share/licenses/${pkgname}" cd "${pkgdir}" - rm -r usr/include usr/bin usr/lib/cmake usr/lib/lib* + rm -r usr/include usr/bin usr/lib/{cmake,pkgconfig,lib*} python -m compileall . python -O -m compileall . }