You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It appears that run stanza will always try to use .opt version of an executable if available, and i don't see any way to disable this.
this can be a problem for using for instance campl4 as you cannot invoke camlp4o so you need to build a cmxs.
The text was updated successfully, but these errors were encountered:
to be honest that's a minor/niche issue, i barely opened an issue because that was unexpected behavior and this kind of "magic" semantic can be surprising. But it might not be worth fixing. You can work around it in several ways indeed.
It appears that
run
stanza will always try to use .opt version of an executable if available, and i don't see any way to disable this.this can be a problem for using for instance
campl4
as you cannot invokecamlp4o
so you need to build a cmxs.The text was updated successfully, but these errors were encountered: