From bb310144175221fd1dd7d885d139ec65b14b03b0 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 8c6d35a0a..86035b94b 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -1443,6 +1443,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')