blob: 90c69150aa71d9f0a7e2b3c0db48fe3be6f7de61 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
# $NetBSD: Makefile.common,v 1.4 2018/12/18 06:46:39 kamil Exp $
#
# used by math/py-z3/Makefile
# used by math/z3/Makefile
DISTNAME= z3-4.8.3
GITHUB_TAG= ${DISTNAME}
CATEGORIES= math
MASTER_SITES= ${MASTER_SITE_GITHUB:=Z3Prover/}
DISTINFO_FILE= ${.CURDIR}/../../math/z3/distinfo
PATCHDIR?= ${.CURDIR}/../../math/z3/patches
MAINTAINER= dholland@NetBSD.org
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}
.include "../../lang/python/tool.mk"
|
