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
Since menhir actions are sandboxed, the created automaton files are not copied when one gives the --dump or --dump-resolved flags. Either one has to call menhir manually to create these files or one needs support in dune for this.
Desired Behavior
Since menhir actions are sandboxed, the created automaton files are not copied when one gives the --dump or --dump-resolved flags. Either one has to call menhir manually to create these files or one needs support in dune for this.
See also this zulip discussion
Example
dune-project:
dune:
The text was updated successfully, but these errors were encountered: