Skip to content

menhir stanza doesn't work with include_subdirs unqualified #4381

@toots

Description

@toots

It looks like using the menhir stanza does not work if the file to be generated is in a sub-directory included via include_subdirs unqualified. Something like:

(include_subdirs unqualified)

(menhir
  (modules parser))

Where parser.ml is located in subdir/parser.ml

Metadata

Metadata

Assignees

No one assigned

    Labels

    menhirRelated to the internal menhir plugin

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions