blob: e5cd6ba1cc6a8546e2fd4506b02ca1228e946e78 (
plain)
1
2
3
4
5
6
7
8
9
10
|
# $NetBSD: Makefile,v 1.11 2018/07/19 15:15:27 jaapb Exp $
.include "Makefile.common"
PKGREVISION= 3
COMMENT= The Z3 theorem prover / SMT solver
.include "options.mk"
.include "../../mk/bsd.pkg.mk"
|