$OpenBSD: patch-scripts_mk_util_py,v 1.6 2020/09/18 07:52:58 jasper Exp $

Index: scripts/mk_util.py
--- scripts/mk_util.py.orig
+++ scripts/mk_util.py
@@ -2478,7 +2478,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
@@ -2491,7 +2490,7 @@ def mk_config():
         elif sysname == 'Linux':
             CXXFLAGS       = '%s -D_LINUX_' % CXXFLAGS
             OS_DEFINES     = '-D_LINUX_'
-            SO_EXT         = '.so'
+            SO_EXT         = '.so.${LIBz3_VERSION}'
             SLIBFLAGS      = '-shared'
             SLIBEXTRAFLAGS = '%s -Wl,-soname,libz3.so' % SLIBEXTRAFLAGS
         elif sysname == 'GNU':
@@ -2528,9 +2527,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:
