CVS commit: pkgsrc/math/z3

["Thomas Klausner" <wiz%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   wiz
Date:           Wed Feb 26 09:59:42 UTC 2025

Modified Files:
        pkgsrc/math/z3: Makefile.common

Log Message:
z3: this now requires C++20


To generate a diff of this commit:
cvs rdiff -u -r1.10 -r1.11 pkgsrc/math/z3/Makefile.common

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.common
diff -u pkgsrc/math/z3/Makefile.common:1.10 pkgsrc/math/z3/Makefile.common:1.11
--- pkgsrc/math/z3/Makefile.common:1.10 Thu Feb 20 10:27:00 2025
+++ pkgsrc/math/z3/Makefile.common      Wed Feb 26 09:59:42 2025
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile.common,v 1.10 2025/02/20 10:27:00 adam Exp $
+# $NetBSD: Makefile.common,v 1.11 2025/02/26 09:59:42 wiz Exp $
 #
 # used by math/py-z3/Makefile
 # used by math/z3/Makefile
@@ -16,7 +16,7 @@ MAINTAINER=   dholland%NetBSD.org@localhost
 HOMEPAGE=      https://github.com/Z3Prover/z3
 LICENSE=       mit
 
-USE_CXX_FEATURES=      c++17
+USE_CXX_FEATURES=      c++20
 USE_LANGUAGES=         c c++
 
 .include "../../lang/python/tool.mk"