Subject: CVS commit: pkgsrc/math/z3
From: Jonathan Perkin
Date: 2022-05-13 12:41:38
Message id: 20220513104138.63B5FFA94@cvs.NetBSD.org
Log Message:
z3: Portability fixes.
Files:
RevisionActionfile
1.4modifypkgsrc/math/z3/PLIST
1.12modifypkgsrc/math/z3/distinfo
1.2modifypkgsrc/math/z3/patches/patch-scripts_mk__genfile__common.py
1.7modifypkgsrc/math/z3/patches/patch-scripts_mk__util.py
1.1addpkgsrc/math/z3/patches/patch-src_sat_ba__solver.cpp
1.1addpkgsrc/math/z3/patches/patch-src_sat_sat__lookahead.cpp
1.1addpkgsrc/math/z3/patches/patch-src_sat_sat__solver.cpp
1.1addpkgsrc/math/z3/patches/patch-src_solver_parallel__tactic.cpp