CVS commit: pkgsrc/math/z3

["Havard Eidnes" <he%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   he
Date:           Sat Mar 30 23:10:48 UTC 2024

Modified Files:
        pkgsrc/math/z3: Makefile

Log Message:
math/z3: add mk/atomic64.mk, to make this build on NetBSD/macppc.


To generate a diff of this commit:
cvs rdiff -u -r1.20 -r1.21 pkgsrc/math/z3/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/math/z3/Makefile
diff -u pkgsrc/math/z3/Makefile:1.20 pkgsrc/math/z3/Makefile:1.21
--- pkgsrc/math/z3/Makefile:1.20        Tue Jan 23 20:01:03 2024
+++ pkgsrc/math/z3/Makefile     Sat Mar 30 23:10:48 2024
@@ -1,8 +1,9 @@
-# $NetBSD: Makefile,v 1.20 2024/01/23 20:01:03 adam Exp $
+# $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"