Group :: Ciências/Matemática
RPM: z3
Main Changelog Spec Patches Sources Download Gear Bugs e FR Repocop
Patch: z3-4.5.0-alt-aarch64-pthread.patch
Download
Download
diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index cf06a10..9620a4f 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -2441,9 +2441,9 @@ def mk_config():
CXXFLAGS = '%s -fno-strict-aliasing -D_LINUX_' % CXXFLAGS
OS_DEFINES = '-D_LINUX_'
SO_EXT = '.so'
- LDFLAGS = '%s -lrt' % LDFLAGS
+ LDFLAGS = '%s -lpthread -lrt' % LDFLAGS
SLIBFLAGS = '-shared'
- SLIBEXTRAFLAGS = '%s -lrt' % SLIBEXTRAFLAGS
+ SLIBEXTRAFLAGS = '%s -lpthread -lrt' % SLIBEXTRAFLAGS
elif sysname == 'FreeBSD':
CXXFLAGS = '%s -fno-strict-aliasing -D_FREEBSD_' % CXXFLAGS
OS_DEFINES = '-D_FREEBSD_'