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