Prepare math/z3 to be re-used for Python bindings

[Pierre Pronchery <khorben%defora.org@localhost>]

Module Name:	pkgsrc-wip
Committed By:	Pierre Pronchery <khorben%defora.org@localhost>
Pushed By:	khorben
Date:		Fri Mar 9 16:10:57 2018 +0100
Changeset:	e888146e7c9f3fa2fe0d09761046f10abdd4101a

Modified Files:
	z3/Makefile
Added Files:
	z3/Makefile.common

Log Message:
Prepare math/z3 to be re-used for Python bindings

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=e888146e7c9f3fa2fe0d09761046f10abdd4101a

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 z3/Makefile        | 17 +----------------
 z3/Makefile.common | 25 +++++++++++++++++++++++++
 2 files changed, 26 insertions(+), 16 deletions(-)

diffs:
diff --git a/z3/Makefile b/z3/Makefile
index 4faa57558a..572941321b 100644
--- a/z3/Makefile
+++ b/z3/Makefile
@@ -1,24 +1,9 @@
 # $NetBSD: Makefile,v 1.7 2018/02/27 08:34:16 wiz Exp $
 
-DISTNAME=	z3-4.5.0
-GITHUB_TAG=	${DISTNAME}
-CATEGORIES=	math
-MASTER_SITES=	${MASTER_SITE_GITHUB:=Z3Prover/}
+.include "Makefile.common"
 
-MAINTAINER=	dholland%NetBSD.org@localhost
-HOMEPAGE=	https://github.com/Z3Prover/z3/
 COMMENT=	The Z3 theorem prover / SMT solver
-LICENSE=	mit
-
-WRKSRC=		${WRKDIR}/z3-${DISTNAME}
-HAS_CONFIGURE=	yes
-USE_LANGUAGES=	c c++
-BUILD_DIRS=	build
-
-CONFIGURE_ENV+=		PYTHON=${PYTHONBIN}
-CONFIGURE_ARGS+=	--destdir=${DESTDIR} --prefix=${PREFIX}
 
 .include "options.mk"
 
-.include "../../lang/python/tool.mk"
 .include "../../mk/bsd.pkg.mk"
diff --git a/z3/Makefile.common b/z3/Makefile.common
new file mode 100644
index 0000000000..fd1c48d14a
--- /dev/null
+++ b/z3/Makefile.common
@@ -0,0 +1,25 @@
+# $NetBSD: Makefile,v 1.7 2018/02/27 08:34:16 wiz Exp $
+#
+# used by wip/z3
+
+DISTNAME=	z3-4.5.0
+GITHUB_TAG=	${DISTNAME}
+CATEGORIES=	math
+MASTER_SITES=	${MASTER_SITE_GITHUB:=Z3Prover/}
+DISTINFO_FILE=	${.CURDIR}/../../wip/z3/distinfo
+PATCHDIR?=	${.CURDIR}/../../wip/z3/patches
+
+MAINTAINER=	dholland%NetBSD.org@localhost
+HOMEPAGE=	https://github.com/Z3Prover/z3/
+LICENSE=	mit
+
+WRKSRC=		${WRKDIR}/z3-${DISTNAME}
+HAS_CONFIGURE=	yes
+USE_LANGUAGES=	c c++
+BUILD_DIRS=	build
+
+CONFIGURE_ENV+=		PYTHON=${PYTHONBIN}
+CONFIGURE_ARGS+=	--destdir=${DESTDIR}
+CONFIGURE_ARGS+=	--prefix=${PREFIX}
+
+.include "../../lang/python/tool.mk"