dune_register_package_flagsΒΆ

This command is documented in DuneEnableAllPackages.

See dune_register_package_flags() in the module page DuneEnableAllPackages.