Skip to content

Enhance python -m dune command. Adds 'list' and 'remove' to list/remove generated python modules.

Samuel Burbulla requested to merge feature/enhance-python-dune-command into master

I tried to generalise the way how to add functionality to the python -m dune command.

There should be an easy accessible way to access the generated dune-py module - one should not be required to search paths etc. if something goes wrong here.

In this step I started adding

  • list: to list all generated python modules in dune-py
  • remove: to remove specific (or all) generated modules

The previously existing commands configure and checkBuildDirs are still available.

More functionality is now ready to come. Some of the dune-py related functions I moved around to commands.py in order to access and reuse them.

Merge request reports