From 6f7be77e2bdf00ed38ca7755f3ca38e7facbb384 Mon Sep 17 00:00:00 2001
From: Gleb Popov <6yearold@gmail.com>
Date: Thu, 12 May 2022 20:54:57 +0300
Subject: [PATCH] Buildsystem fixes for FreeBSD. (#6029)

* Enable thread-local storage on FreeBSD.

* Pass -soname linker flag on FreeBSD.
---
 scripts/mk_util.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 761de8b26..8a56e843a 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -2599,6 +2599,7 @@ def mk_config():
             OS_DEFINES     = '-D_FREEBSD_'
             SO_EXT         = '.so'
             SLIBFLAGS      = '-shared'
+            SLIBEXTRAFLAGS = '%s -Wl,-soname,libz3.so' % SLIBEXTRAFLAGS
         elif sysname == 'NetBSD':
             CXXFLAGS       = '%s -D_NETBSD_' % CXXFLAGS
             OS_DEFINES     = '-D_NETBSD_'
@@ -2632,7 +2633,7 @@ def mk_config():
         if is64():
             if not sysname.startswith('CYGWIN') and not sysname.startswith('MSYS') and not sysname.startswith('MINGW'):
                 CXXFLAGS     = '%s -fPIC' % CXXFLAGS
-            if sysname == 'Linux':
+            if sysname == 'Linux' or sysname == 'FreeBSD':
                 CPPFLAGS = '%s -D_USE_THREAD_LOCAL' % CPPFLAGS
         elif not LINUX_X64:
             CXXFLAGS     = '%s -m32' % CXXFLAGS