math/z3/Makefile


1
2
3
4
5
6
7
8
9
10

# $NetBSD: Makefile,v 1.10 2018/04/13 13:55:35 jaapb Exp $

.include "Makefile.common"

PKGREVISION=	2
COMMENT=	The Z3 theorem prover / SMT solver

.include "options.mk"

.include "../../mk/bsd.pkg.mk"