9 lines
201 B
Makefile
9 lines
201 B
Makefile
# $NetBSD: Makefile,v 1.15 2021/03/08 08:13:03 jaapb Exp $
|
|
|
|
.include "Makefile.common"
|
|
PKGREVISION= 2
|
|
COMMENT= The Z3 theorem prover / SMT solver
|
|
|
|
.include "options.mk"
|
|
|
|
.include "../../mk/bsd.pkg.mk"
|