[BACK]Return to Makefile CVS log [TXT] [DIR] Up to [cvs.NetBSD.org] / pkgsrc / math / z3
File:  [cvs.NetBSD.org] / pkgsrc / math / z3 / Makefile
Revision 1.6: download - view: text, annotated - select for diffs
Wed Jan 10 16:53:12 2018 UTC (6 years, 11 months ago) by jaapb
Branches: MAIN
CVS tags: HEAD
Recursive revbump associated with the update to OCaml 4.06.

# $NetBSD: Makefile,v 1.6 2018/01/10 16:53:12 jaapb Exp $

DISTNAME=	z3-4.4.1
GITHUB_TAG=	${DISTNAME}
PKGREVISION=	5
CATEGORIES=	math
MASTER_SITES=	${MASTER_SITE_GITHUB:=Z3Prover/}
PATCHFILES+=	z3-jumbo-patch-20151123.gz
SITES.z3-jumbo-patch-20151123.gz=\
			http://www.NetBSD.org/~dholland/patchkits/z3/
PATCH_DIST_STRIP=	-p1

MAINTAINER=	dholland@NetBSD.org
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
PY_PATCHPLIST=	yes

CONFIGURE_ENV+=		PYTHON=${PYTHONBIN}
CONFIGURE_ARGS+=	--destdir=${DESTDIR} --prefix=${PREFIX}

.include "options.mk"

.include "../../lang/python/extension.mk"
.include "../../mk/bsd.pkg.mk"
CVSweb <webmaster@jp.NetBSD.org>