From 321745fdb1915a9f0995d0587da441363bcbe03f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 3 Apr 2022 11:07:54 -0700 Subject: [PATCH] #5941 Signed-off-by: Nikolaj Bjorner --- scripts/mk_util.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 1fca64f29..7cc83f890 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -2550,7 +2550,7 @@ def mk_config(): if GIT_HASH: CPPFLAGS = '%s -DZ3GITHASH=%s' % (CPPFLAGS, GIT_HASH) CXXFLAGS = '%s -std=c++17' % CXXFLAGS - CXXFLAGS = '%s -fvisibility=hidden -fvisibility-inlines-hidden -c' % CXXFLAGS + CXXFLAGS = '%s -fvisibility=protected -fvisibility-inlines-hidden -c' % CXXFLAGS FPMATH = test_fpmath(CXX) CXXFLAGS = '%s %s' % (CXXFLAGS, FPMATH_FLAGS) if LOG_SYNC: