$OpenBSD: patch-scripts_mk_util_py,v 1.3 2019/03/03 09:16:17 rsadowski Exp $

Index: scripts/mk_util.py
--- scripts/mk_util.py.orig
+++ scripts/mk_util.py
@@ -50,7 +50,7 @@ C_COMPILERS=['gcc', 'clang']
 CSC_COMPILERS=['csc', 'mcs']
 JAVAC=None
 JAR=None
-PYTHON_PACKAGE_DIR=distutils.sysconfig.get_python_lib()
+PYTHON_PACKAGE_DIR=distutils.sysconfig.get_python_lib(prefix=getenv("LOCALBASE", None))
 BUILD_DIR='build'
 REV_BUILD_DIR='..'
 SRC_DIR='src'
@@ -2801,7 +2801,6 @@ def mk_config():
             EXAMP_DEBUG_FLAG = '-g'
             CPPFLAGS     = '%s -DZ3DEBUG -D_DEBUG' % CPPFLAGS
         else:
-            CXXFLAGS     = '%s -O3' % CXXFLAGS
             if GPROF:
                 CXXFLAGS     += '-fomit-frame-pointer'
             CPPFLAGS     = '%s -DNDEBUG -D_EXTERNAL_RELEASE' % CPPFLAGS
@@ -2836,7 +2835,7 @@ def mk_config():
         elif sysname == 'OpenBSD':
             CXXFLAGS       = '%s -D_OPENBSD_' % CXXFLAGS
             OS_DEFINES     = '-D_OPENBSD_'
-            SO_EXT         = '.so'
+            SO_EXT         = '.so.${LIBz3_VERSION}'
             SLIBFLAGS      = '-shared'
         elif sysname.startswith('CYGWIN'):
             CXXFLAGS       = '%s -D_CYGWIN' % CXXFLAGS
@@ -2852,9 +2851,9 @@ def mk_config():
             LIB_EXT        = '.lib'
         else:
             raise MKException('Unsupported platform: %s' % sysname)
+        if not sysname.startswith('CYGWIN') and not sysname.startswith('MSYS') and not sysname.startswith('MINGW'):
+            CXXFLAGS     = '%s -fPIC' % CXXFLAGS
         if is64():
-            if not sysname.startswith('CYGWIN') and not sysname.startswith('MSYS') and not sysname.startswith('MINGW'):
-                CXXFLAGS     = '%s -fPIC' % CXXFLAGS
             if sysname == 'Linux':
                 CPPFLAGS = '%s -D_USE_THREAD_LOCAL' % CPPFLAGS
         elif not LINUX_X64:
