CVS: cvs.openbsd.org: ports

[Rafael Sadowski]

CVSROOT:        /cvs
Module name:    ports
Changes by:     rsadow...@cvs.openbsd.org       2019/06/15 02:53:32

Modified files:
        math/z3        : Makefile 

Log message:
Disable OpenMP with the cmake option

OK rpointel