10 lines
202 B
Makefile
10 lines
202 B
Makefile
# $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"
|