Subject: CVS commit: pkgsrc/math/z3
From: Jonathan Perkin
Date: 2018-06-15 17:11:35
Message id: 20180615151135.28859FBEC@cvs.NetBSD.org
Log Message:
z3: Fix broken build system by pretending SunOS is Linux.
Files:
RevisionActionfile
1.6modifypkgsrc/math/z3/distinfo
1.4modifypkgsrc/math/z3/patches/patch-scripts_mk__util.py