From 8217e5c1291b599aa3e794e0a3b7c1c6cb45b947 Mon Sep 17 00:00:00 2001
From: Kevin Mihelich <kevin@archlinuxarm.org>
Date: Tue, 19 Mar 2019 18:35:15 +0000
Subject: [PATCH] community/z3 to 4.8.4-2

---
 community/z3/PKGBUILD | 20 +++-----------------
 1 file changed, 3 insertions(+), 17 deletions(-)

diff --git a/community/z3/PKGBUILD b/community/z3/PKGBUILD
index f4b009998..c1600639d 100644
--- a/community/z3/PKGBUILD
+++ b/community/z3/PKGBUILD
@@ -6,16 +6,15 @@
 #  - patch from Fedora to fix ARM FTBFS
 
 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
         z3-no-sse.patch)
 sha512sums=('4660ba6ab33a6345b2e8396c332d4afcfc73eda66ceb2595a39f152df4d62a9ea0f349b0f9212389ba84ecba6bdae6ad9b62b376ba44dc4d9c74f80d7a818bf4'
@@ -59,17 +58,4 @@ package_python-z3() {
   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: