CVSROOT: /cvs Module name: ports Changes by: [email protected] 2018/11/23 17:57:15
Modified files:
math/z3 : Makefile
math/z3/patches: patch-scripts_mk_util_py
Log message:
Make better use of ports infrastructure, don't override optimization
flags, use -fPIC to build shared objects on all archs.
