From daa5f288c8895a12560b2c5e0215854945e5fadf Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Thu, 5 Apr 2018 15:13:54 +0200
Subject: [PATCH] z3: switch to python3, clean up template.

---
 srcpkgs/z3/template | 39 +++++++++++----------------------------
 1 file changed, 11 insertions(+), 28 deletions(-)

diff --git a/srcpkgs/z3/template b/srcpkgs/z3/template
index f43ad4d8b2f..c2690a230f6 100644
--- a/srcpkgs/z3/template
+++ b/srcpkgs/z3/template
@@ -1,13 +1,16 @@
 # Template file for 'z3'
 pkgname=z3
 version=4.6.0
-revision=2
+revision=3
 wrksrc="${pkgname}-${pkgname}-${version}"
-hostmakedepends="python $(vopt_if ocaml 'ocaml ocaml-findlib')"
+build_style=gnu-configure
+make_build_args="-C build all examples"
+make_install_args="-C build install"
+hostmakedepends="python3 $(vopt_if ocaml 'ocaml ocaml-findlib')"
 makedepends="libgomp-devel gmp-devel $(vopt_if ocaml 'ocaml-num ncurses-devel')"
-depends="python python-setuptools"
+depends="python3 python3-setuptools"
 pycompile_module="z3"
-short_desc="Z3 theorem prover and SMT solver (command line + Python module)"
+short_desc="Z3 theorem prover and SMT solver (command line + Python3 module)"
 maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="MIT"
 homepage="https://github.com/Z3Prover/z3"
@@ -24,35 +27,15 @@ if [ "$CROSS_BUILD" ]; then
 fi
 
 do_configure() {
-	LDFLAGS="$CFLAGS $LDFLAGS" ./configure --prefix=/usr -g $(vopt_if ocaml --ml)
+	LDFLAGS="$CFLAGS $LDFLAGS" ./configure --prefix=/usr -g --python $(vopt_if ocaml --ml)
 }
 
-do_build() {
-	make ${makejobs} -C build all examples
-}
-
-do_install() {
-	vbin build/z3
+post_install() { 
 	vbin build/z3_tptp
 	vbin build/maxsat
-	vinstall build/libz3.so 0644 usr/lib
-	for f in src/api/z3*.h; do
-		vinstall $f 0644 usr/include
-	done
-	vinstall src/api/c++/z3++.h 0644 usr/include
-	for f in build/python/z3/*; do
-		vinstall $f 0644 usr/lib/python2.7/site-packages/z3
-	done
 	if [ "$build_option_ocaml" ]; then
-		vmkdir usr/lib/ocaml/Z3
-		vinstall src/api/ml/z3.mli 0644 usr/lib/ocaml/Z3
-		for f in build/api/ml/*; do
-			case "$f" in
-				*.o)  continue ;;
-				*.so) vinstall $f 0644 usr/lib/ocaml/stublibs ;;
-				*)    vinstall $f 0644 usr/lib/ocaml/Z3
-			esac
-		done
+		vmkdir usr/lib/ocaml/Z3/stublibs
+		mv ${DESTDIR}/usr/lib/ocaml/Z3/dllz3ml.so ${DESTDIR}/usr/lib/ocaml/Z3/stublibs
 	fi
 	vlicense LICENSE.txt
 }