mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

Set the SONAME field of libz3.so to libz3.so.

Browse source 
This fixes a problem when loading libz3java from Java,
where the dependency on libz3 is not detected as fulfilled
if the latter does not have SONAME set.
This commit is contained in:
Philipp Wendler 2018-05-25 14:54:44 +02:00
parent da32997f93
commit 3e0506a71b
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_util.py
View file

@ -2460,7 +2460,7 @@ def mk_config():
check_ar() check_ar()
CXX = find_cxx_compiler() CXX = find_cxx_compiler()
CC = find_c_compiler() CC = find_c_compiler()
SLIBEXTRAFLAGS = '' SLIBEXTRAFLAGS = '-Wl,-soname,libz3.so'
EXE_EXT = '' EXE_EXT = ''
LIB_EXT = '.a' LIB_EXT = '.a'
if GPROF: if GPROF: