mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
ML API: build fix
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
parent
ccffea2bc9
commit
decb09bb9e
|
@ -1425,6 +1425,8 @@ class MLComponent(Component):
|
|||
else:
|
||||
out.write('.so') # .so also on OSX!
|
||||
out.write(' ' + get_component(Z3_DLL_COMPONENT).dll_name + '$(SO_EXT)')
|
||||
if IS_WINDOWS:
|
||||
out.write(' ' + get_component(Z3_DLL_COMPONENT).dll_name + '$(LIB_EXT)')
|
||||
out.write('\n\n')
|
||||
|
||||
def main_component(self):
|
||||
|
|
Loading…
Reference in a new issue