Sat Mar 30 23:10:48 2024 UTC (58d)
math/z3: add mk/atomic64.mk, to make this build on NetBSD/macppc.


(he)
diff -r1.20 -r1.21 pkgsrc/math/z3/Makefile
cvs diff -r1.20 -r1.21 pkgsrc/math/z3/Makefile (expand / switch to unified diff)

--- pkgsrc/math/z3/Makefile 2024/01/23 20:01:03 1.20
+++ pkgsrc/math/z3/Makefile 2024/03/30 23:10:48 1.21
@@ -1,8 +1,9 @@ @@ -1,8 +1,9 @@
1# $NetBSD: Makefile,v 1.20 2024/01/23 20:01:03 adam Exp $ 1# $NetBSD: Makefile,v 1.21 2024/03/30 23:10:48 he Exp $
2 2
3.include "Makefile.common" 3.include "Makefile.common"
4 4
5COMMENT= The Z3 theorem prover / SMT solver 5COMMENT= The Z3 theorem prover / SMT solver
6 6
7.include "../../devel/cmake/build.mk" 7.include "../../devel/cmake/build.mk"
 8.include "../../mk/atomic64.mk"
8.include "../../mk/bsd.pkg.mk" 9.include "../../mk/bsd.pkg.mk"