Sisyphus repositório
Última atualização: 1 outubro 2023 | SRPMs: 18631 | Visitas: 37040763
en ru br
ALT Linux repositórios
S:4.8.8-alt1

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


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_'
 
projeto & código: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
mantenedor atual: Michael Shigorin
mantenedor da tradução: Fernando Martini aka fmartini © 2009