CVS commit: pkgsrc/math/z3

["Nia Alarie" <nia%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   nia
Date:           Wed Feb 21 10:50:35 UTC 2024

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

Log Message:
z3: Requires a C++17 compiler


To generate a diff of this commit:
cvs rdiff -u -r1.7 -r1.8 pkgsrc/math/z3/Makefile.common
cvs rdiff -u -r1.4 -r1.5 pkgsrc/math/z3/buildlink3.mk

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.7 pkgsrc/math/z3/Makefile.common:1.8
--- pkgsrc/math/z3/Makefile.common:1.7  Tue Jan 23 20:01:03 2024
+++ pkgsrc/math/z3/Makefile.common      Wed Feb 21 10:50:35 2024
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile.common,v 1.7 2024/01/23 20:01:03 adam Exp $
+# $NetBSD: Makefile.common,v 1.8 2024/02/21 10:50:35 nia Exp $
 #
 # used by math/py-z3/Makefile
 # used by math/z3/Makefile
@@ -18,4 +18,6 @@ LICENSE=      mit
 
 USE_LANGUAGES= c c++
 
+USE_CXX_FEATURES+=     c++17
+
 .include "../../lang/python/tool.mk"

Index: pkgsrc/math/z3/buildlink3.mk
diff -u pkgsrc/math/z3/buildlink3.mk:1.4 pkgsrc/math/z3/buildlink3.mk:1.5
--- pkgsrc/math/z3/buildlink3.mk:1.4    Mon Aug 14 05:24:50 2023
+++ pkgsrc/math/z3/buildlink3.mk        Wed Feb 21 10:50:35 2024
@@ -1,10 +1,12 @@
-# $NetBSD: buildlink3.mk,v 1.4 2023/08/14 05:24:50 wiz Exp $
+# $NetBSD: buildlink3.mk,v 1.5 2024/02/21 10:50:35 nia Exp $
 
 BUILDLINK_TREE+=       z3
 
 .if !defined(Z3_BUILDLINK3_MK)
 Z3_BUILDLINK3_MK:=
 
+USE_CXX_FEATURES+=     c++17
+
 BUILDLINK_API_DEPENDS.z3+=     z3>=4.8.3
 BUILDLINK_ABI_DEPENDS.z3?=     z3>=4.12.2nb1
 BUILDLINK_PKGSRCDIR.z3?=       ../../math/z3