Date: Tuesday, March 19, 2019 @ 17:14:47 Author: felixonmars Revision: 442773
upgpkg: z3 4.8.4-2 remove python2 sibling Modified: z3/trunk/PKGBUILD ----------+ PKGBUILD | 20 +++----------------- 1 file changed, 3 insertions(+), 17 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2019-03-19 17:12:16 UTC (rev 442772) +++ PKGBUILD 2019-03-19 17:14:47 UTC (rev 442773) @@ -3,16 +3,15 @@ # Contributor: rudy.matela pkgbase=z3 -pkgname=('z3' 'python-z3' 'python2-z3') +pkgname=('z3' 'python-z3') pkgver=4.8.4 -pkgrel=1 +pkgrel=2 pkgdesc='High-performance theorem prover' url='https://github.com/Z3Prover/z3' arch=('x86_64') license=('MIT') # 'java-environment-common' 'mono' 'ocaml' 'ocaml-findlib' -makedepends=('cmake' 'python2' 'python2-setuptools' 'python' 'python-setuptools' 'gcc-libs' 'gmp') -optdepends=('python2-setuptools: bindings for python2') +makedepends=('cmake' 'python' 'python-setuptools' 'gcc-libs' 'gmp') source=(https://github.com/Z3Prover/z3/archive/${pkgbase}-${pkgver}.tar.gz) sha512sums=('4660ba6ab33a6345b2e8396c332d4afcfc73eda66ceb2595a39f152df4d62a9ea0f349b0f9212389ba84ecba6bdae6ad9b62b376ba44dc4d9c74f80d7a818bf4') @@ -53,17 +52,4 @@ python -O -m compileall . } -package_python2-z3() { - depends=('python2' 'libz3') - cd ${pkgbase}-${pkgbase}-${pkgver}/build - 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* - mv usr/lib/python* usr/lib/python2.7 - [ -n "${SOURCE_DATE_EPOCH}" ] && find . -exec touch -h -d @$SOURCE_DATE_EPOCH {} + - python2 -m compileall . - python2 -O -m compileall . -} - # vim: ts=2 sw=2 et: