From 4f6fcf8ea78492e1d90398bcd3a663f8517f2a66 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 8 Feb 2022 10:20:19 +0200 Subject: [PATCH] fix #5814 Signed-off-by: Nikolaj Bjorner --- 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 042e6af46..1e105b002 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1995,7 +1995,7 @@ class MLComponent(Component): LIBZ3 = LIBZ3 + ' ' + ' '.join(map(lambda x: '-cclib ' + x, LDFLAGS.split())) - stubs_install_path = '$$(%s printconf path)/stublibs' % OCAMLFIND + stubs_install_path = '$$(%s printconf destdir)/stublibs' % OCAMLFIND if not STATIC_LIB: loadpath = '-ccopt -L' + stubs_install_path dllpath = '-dllpath ' + stubs_install_path