blob: afe8928e34ef06a444e1b06bde72d5a60196cabb (
plain)
1
2
3
4
5
6
7
8
9
|
# $NetBSD: Makefile,v 1.8 2018/03/13 00:31:16 khorben Exp $
.include "Makefile.common"
COMMENT= The Z3 theorem prover / SMT solver
.include "options.mk"
.include "../../mk/bsd.pkg.mk"
|