From 7eb6731ac267e09da8edb16628258a58d0207bdc Mon Sep 17 00:00:00 2001 From: Federico Poli Date: Wed, 6 Nov 2019 09:30:50 +0100 Subject: [PATCH] Link pthread with --whole-archive option on Linux This fixes a SIGSEGV on Ubuntu 16.04 when running z3 compiled with `--staticbin` (issue #2457). It seems that without the --whole-archive option the linker does not statically link all pthread symbols. The fix is described here: https://stackoverflow.com/a/45271521/2491528 --- scripts/mk_util.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 6829b7251..b6de10921 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -2631,7 +2631,10 @@ def mk_config(): config.write('LINK=%s\n' % CXX) config.write('LINK_FLAGS=\n') config.write('LINK_OUT_FLAG=-o \n') - config.write('LINK_EXTRA_FLAGS= -lpthread %s\n' % LDFLAGS) + if is_linux() and (build_static_lib() or build_static_bin()): + config.write('LINK_EXTRA_FLAGS=-Wl,--whole-archive -lpthread -Wl,--no-whole-archive %s\n' % LDFLAGS) + else: + config.write('LINK_EXTRA_FLAGS=-lpthread %s\n' % LDFLAGS) config.write('SO_EXT=%s\n' % SO_EXT) config.write('SLINK=%s\n' % CXX) config.write('SLINK_FLAGS=%s\n' % SLIBFLAGS)