3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-07-14 11:15:40 +00:00

Fixup help contents source_file

Stop empty source files `""` from being exported to json.
Move source path fixing to a separate function.
`ContentListing::to_json` now takes the source root, recursively calling the source path fixup function on all source paths in the content listing.
This commit is contained in:
Krystine Sherwin 2026-07-09 16:05:15 +12:00
parent 0e763f320b
commit 53d1e7615b
No known key found for this signature in database
3 changed files with 46 additions and 21 deletions

View file

@ -921,20 +921,10 @@ struct HelpPass : public Pass {
string source_file = pass->location.file_name();
bool has_source = source_file.compare("unknown") != 0;
std::filesystem::path source_path;
auto no_source_group = false;
auto skip_source_group = false;
if (has_source) {
source_path = std::filesystem::path(pass->location.file_name());
if (source_path.is_absolute()) {
// using proximate instead of relative means that we
// still get the source path if they aren't relative
auto proximate_path = std::filesystem::proximate(source_path, source_root);
if (proximate_path == std::filesystem::weakly_canonical(proximate_path))
// we're only interested if it's a subpath of our root dir
source_path = proximate_path;
else
// don't try to group external paths
no_source_group = true;
}
source_path = fixup_source_path(pass->location.file_name(), source_root, &skip_source_group);
source_file = source_path.string();
}
@ -947,7 +937,7 @@ struct HelpPass : public Pass {
else if (source_file.find("frontends/") == 0 || (!has_source && name.find("write_") == 0))
cmd_help.group = "frontends";
else if (has_source) {
if (source_path.has_parent_path() && !no_source_group)
if (source_path.has_parent_path() && !skip_source_group)
cmd_help.group = source_path.parent_path().string();
}
// implicit !has_source
@ -973,7 +963,7 @@ struct HelpPass : public Pass {
json.entry("title", title);
json.name("content"); json.begin_array();
for (auto &content : cmd_help)
json.value(content.to_json());
json.value(content.to_json(source_root));
json.end_array();
json.entry("group", cmd_help.group);
json.entry("source_file", source_file);