mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
Merge pull request #1650 from PhilippWendler/add-soname-to-libz3.so
Fix missing SONAME in libz3.so, which breaks loading from Java
This commit is contained in:
commit
19fb3e98dc
|
@ -2460,7 +2460,7 @@ def mk_config():
|
|||
check_ar()
|
||||
CXX = find_cxx_compiler()
|
||||
CC = find_c_compiler()
|
||||
SLIBEXTRAFLAGS = ''
|
||||
SLIBEXTRAFLAGS = '-Wl,-soname,libz3.so'
|
||||
EXE_EXT = ''
|
||||
LIB_EXT = '.a'
|
||||
if GPROF:
|
||||
|
|
Loading…
Reference in a new issue