# $NetBSD: Makefile,v 1.21 2024/03/30 23:10:48 he Exp $

.include "Makefile.common"

COMMENT=	The Z3 theorem prover / SMT solver

.include "../../devel/cmake/build.mk"
.include "../../mk/atomic64.mk"
.include "../../mk/bsd.pkg.mk"