From ea5656c7989e62c7cb33defd701dcc43fac0a98c Mon Sep 17 00:00:00 2001
From: Weng Shiwei <arbipher@gmail.com>
Date: Sun, 24 Oct 2021 14:32:59 -0400
Subject: [PATCH] Add path flags for cc loader (linux).

---
 scripts/mk_util.py | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index baa00b1912f..04148a3f998 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -2014,8 +2014,10 @@ def mk_makefile(self, out):
 
             LIBZ3 = LIBZ3 + ' ' + ' '.join(map(lambda x: '-cclib ' + x, LDFLAGS.split()))
             if not STATIC_LIB:
-                dllpath = '-dllpath $$(%s printconf path)/stublibs' % OCAMLFIND
-                LIBZ3 = LIBZ3 + ' ' + dllpath
+                stubs_install_path = '$$(%s printconf path)/stublibs' % OCAMLFIND
+                loadpath = '-ccopt -L' + stubs_install_path
+                dllpath = '-dllpath ' + stubs_install_path
+                LIBZ3 = LIBZ3 + ' ' + loadpath + ' ' + dllpath
 
             if DEBUG_MODE and not(is_cygwin()):
                 # Some ocamlmklib's don't like -g; observed on cygwin, but may be others as well.