CVSROOT: /cvs Module name: ports Changes by: [email protected] 2024/09/03 11:48:45
Modified files:
math/z3 : Makefile distinfo
math/z3/patches: patch-cmake_cxx_compiler_flags_overrides_cmake
patch-scripts_mk_util_py
math/z3/pkg : PLIST
Added files:
math/z3/patches: patch-src_util_memory_manager_cpp
Log message:
Update to z3 4.13.0; from Kirill A. Korinsky; input kn
Plus backported upstream fix for crashes (when built with clang)
and usual ports polish after a few closer looks.
