COMMENT =		efficient SMT solver library (angr fork)

MODULES =		lang/python
ANGR_PYTHON_MODULE =	z3-solver
MODPY_DISTV =		4.8.10.0
REVISION =		7

CATEGORIES +=		math

HOMEPAGE =		https://github.com/angr/angr-z3

WANTLIB +=		${COMPILER_LIBCXX} c m

# C++11
COMPILER =		base-clang ports-gcc

NO_TEST =		Yes

.include <bsd.port.mk>
