Stream: Coq devs & plugin devs

Topic: 8.16 macOS: findlib issues with Mac installer


view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip Michael Soegtrop (Aug 16 2022 at 07:53):

@Emilio Jesús Gallego Arias : thanks for the pointer!


Last updated: Mar 28 2024 at 22:01 UTC