Michael Soegtrop (Aug 13 2022 at 06:41): Michael Soegtrop (Aug 13 2022 at 06:41):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.
Emilio Jesús Gallego Arias (Aug 14 2022 at 16:15):@Michael Soegtrop see the different env variables here http://projects.camlcity.org/projects/dl/findlib-1.9.3/doc/ref-html/lib/Findlib.html
Michael Soegtrop (Aug 16 2022 at 07:53):@Emilio Jesús Gallego Arias : thanks for the pointer!
Last updated: Nov 29 2023 at 19:01 UTC