With 8.16 I have findlib issues with the Mac installer (see https://github.com/coq/platform/runs/7813594584?check_suite_focus=true#step:7:15). I guess I need to add (and possibly patch for relocation?) some extra files to the installer? Can someone help me with this?
From opam (without using the installer), the smoke test kit works fine.
@Michael Soegtrop see the different env variables here http://projects.camlcity.org/projects/dl/findlib-1.9.3/doc/ref-html/lib/Findlib.html
@Emilio Jesús Gallego Arias : thanks for the pointer!
Last updated: Jun 09 2023 at 08:01 UTC