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?
I believe that is the default
@Gaëtan Gilbert as we link findlib.dynload that implies
I used to complain about this, I even opened an issue but we need to live with that I'm much afraid
Last updated: Jan 30 2023 at 19:04 UTC