Stream: Dune devs & users

Topic: linkall source?


view this post on Zulip Gaëtan Gilbert (Oct 14 2022 at 10:43):

We use linkall, but I'm confused about where it's specified. For instance the stanza for coqc_bin does not mention it. Is it part of the default flags?

view this post on Zulip Ali Caglayan (Oct 14 2022 at 11:03):

I believe that is the default

view this post on Zulip Ali Caglayan (Oct 14 2022 at 11:03):

https://dune.readthedocs.io/en/stable/tests.html?highlight=linkall#changing-the-flags-of-the-linking-step-of-the-test-runner

view this post on Zulip Emilio Jesús Gallego Arias (Oct 14 2022 at 11:06):

@Gaëtan Gilbert as we link findlib.dynload that implies -linkall

view this post on Zulip Emilio Jesús Gallego Arias (Oct 14 2022 at 11:07):

I used to complain about this, I even opened an issue but we need to live with that I'm much afraid

view this post on Zulip Emilio Jesús Gallego Arias (Oct 14 2022 at 11:08):

https://github.com/coq/coq/commit/c25feab40e4f6ce497222ac8fea0d06441568b4f#diff-476f94a1b6e0ed38a01ebb0e07f020bf82b721ffba9dcb1fbd97bb37ea6745b7


Last updated: Jan 30 2023 at 19:04 UTC