From decb09bb9ecc95c1e59c2381131f10e207d779e9 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sat, 6 Dec 2014 18:37:09 +0000
Subject: [PATCH] ML API: build fix
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
scripts/mk_util.py | 2 ++
1 file changed, 2 insertions(+)
diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index d2d9dd983..5cfcbb4d3 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -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):