Add path flags for cc loader (linux).

arbipher · Oct 25, 2021 · ea5656c · ea5656c
1 parent 3a3cef8
commit ea5656c
Showing 1 changed file with 4 additions and 2 deletions.
diff --git 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.