# $NetBSD: Makefile.common,v 1.6 2023/05/17 07:55:32 adam Exp $
#
# used by math/py-z3/Makefile
# used by math/z3/Makefile

DISTNAME=	z3-4.12.2
CATEGORIES=	math
MASTER_SITES=	${MASTER_SITE_GITHUB:=Z3Prover/}
GITHUB_PROJECT=	z3
GITHUB_TAG=	${DISTNAME}

DISTINFO_FILE=	${.CURDIR}/../../math/z3/distinfo
PATCHDIR?=	${.CURDIR}/../../math/z3/patches

MAINTAINER=	dholland@NetBSD.org
HOMEPAGE=	https://github.com/Z3Prover/z3
LICENSE=	mit

USE_LANGUAGES=	c c++

.include "../../lang/python/tool.mk"
