mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
spelling
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
51b75a132c
commit
1155a29c6e
|
@ -2530,7 +2530,7 @@ def mk_config():
|
|||
check_ar()
|
||||
CXX = find_cxx_compiler()
|
||||
CC = find_c_compiler()
|
||||
SLITEXTRAFLAGS = ''
|
||||
SLIBEXTRAFLAGS = ''
|
||||
# SLIBEXTRAFLAGS = '%s -Wl,-soname,libz3.so.0' % LDFLAGS
|
||||
EXE_EXT = ''
|
||||
LIB_EXT = '.a'
|
||||
|
|
Loading…
Reference in a new issue