From 80bfbe66e98c0fb81aca5e0d5f5cd6283a2c0bc0 Mon Sep 17 00:00:00 2001 From: PerfectLaugh Date: Fri, 14 Nov 2025 08:13:33 +0800 Subject: [PATCH] remove ocamlfind destdir directory check This check causes compilation error when using directly in dune. Somehow, $DESTDIR doesn't created automatically with ocamlfind in dune. Removing this check should make dune dependency works again. --- scripts/mk_util.py | 3 --- 1 file changed, 3 deletions(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 005c90ecb..5405f7f2d 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -2012,9 +2012,6 @@ class MLComponent(Component): if self.destdir == "": raise MKException('Failed to get OCaml destdir') - if not os.path.isdir(self.destdir): - raise MKException('The destdir reported by {ocamlfind} ({destdir}) does not exist'.format(ocamlfind=OCAMLFIND, destdir=self.destdir)) - self.ldconf = check_output([OCAMLFIND, 'printconf', 'ldconf']) if self.ldconf == "": raise MKException('Failed to get OCaml ldconf path')