[arch-commits] Commit in z3/trunk (PKGBUILD)

Felix Yan felixonmars at archlinux.org
Tue Mar 19 17:14:48 UTC 2019


    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:


More information about the arch-commits mailing list