[arch-commits] Commit in z3/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Sat Sep 12 09:00:33 UTC 2020
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 .
}
More information about the arch-commits
mailing list