CVSROOT: /cvs Module name: ports Changes by: rsadow...@cvs.openbsd.org 2018/09/15 07:27:29
Modified files:
math/z3 : Makefile
math/z3/pkg : PLIST
Added files:
math/z3/patches: patch-scripts_mk_util_py
Log message:
fix SHARED_LIB setup
Initial diff and test by Fabian Raetz <fabian D-O-T raetz A-T gmail D-O-T com>
with advanced fixes by me.
