From 5c0ad963c1a901e851fa3eca2fab3363292dd2b7 Mon Sep 17 00:00:00 2001
From: Louis Gesbert <louis.gesbert@ocamlpro.com>
Date: Wed, 22 May 2019 18:11:30 +0200
Subject: [PATCH] Fix z3 static link options

---
 scripts/mk_util.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 4f2534a16..f65ee2027 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -2270,7 +2270,7 @@ class MLComponent(Component):
 
             OCAMLMKLIB = 'ocamlmklib'
 
-            LIBZ3 = '-l' + z3link
+            LIBZ3 = '-cclib -l' + z3link
             if is_cygwin() and not(is_cygwin_mingw()):
                 LIBZ3 = z3linkdep