9 lines
200 B
Makefile
9 lines
200 B
Makefile
# $NetBSD: Makefile,v 1.14 2019/04/25 07:33:06 maya Exp $
|
|
|
|
.include "Makefile.common"
|
|
PKGREVISION= 1
|
|
COMMENT= The Z3 theorem prover / SMT solver
|
|
|
|
.include "options.mk"
|
|
|
|
.include "../../mk/bsd.pkg.mk"
|