mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-22 05:36:41 +00:00
Code Activity

remove ocamlfind destdir directory check

Browse source 
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.
This commit is contained in:
PerfectLaugh 2025-11-14 08:13:33 +08:00
parent 11fb5c7dc4
commit 80bfbe66e9
No known key found for this signature in database
GPG key ID: 0B728C3F8D7BF52B
1 changed files with 0 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
scripts/mk_util.py
View file

@ -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')