blob: b732c5dacdc2f21b56e6bdf8c30bb04f5d38bf62 (
plain)
1
2
3
4
5
6
7
8
9
10
|
# $NetBSD: Makefile,v 1.12 2018/11/12 16:10:24 jaapb Exp $
.include "Makefile.common"
PKGREVISION= 4
COMMENT= The Z3 theorem prover / SMT solver
.include "options.mk"
.include "../../mk/bsd.pkg.mk"
|