Skip to content

Commit

Permalink
Merge branch 'mr/pmderodat/unparsing' into 'master'
Browse files Browse the repository at this point in the history
Update "generate_unparsing" after a recent Langkit refactoring

See merge request eng/libadalang/libadalang!1485
  • Loading branch information
pmderodat committed Jan 10, 2024
2 parents 3c104cf + 86733f0 commit b347143
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions manage.py
Original file line number Diff line number Diff line change
Expand Up @@ -90,6 +90,7 @@ def create_context(self, args):
'Canonicalize'),
documentations=libadalang_docs,
property_exceptions={"Precondition_Failure"},
generate_unparser=True,
)

# Internals need to access environment hooks, the symbolizer and
Expand Down Expand Up @@ -159,9 +160,7 @@ def main_programs(self):
}

def do_generate(self, args):
# Always generate the unparsing machinery and report unused
# documentation entries.
args.generate_unparser = True
# Report unused documentation entries
args.report_unused_doc_entries = True
super(Manage, self).do_generate(args)
do_generate.__doc__ = ManageScript.do_generate.__doc__
Expand Down

0 comments on commit b347143

Please sign in to comment.