Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

clockgating-plugin: not compiled; name mismatch #498

Open
hzeller opened this issue Apr 27, 2023 · 1 comment
Open

clockgating-plugin: not compiled; name mismatch #498

hzeller opened this issue Apr 27, 2023 · 1 comment
Assignees

Comments

@hzeller
Copy link
Collaborator

hzeller commented Apr 27, 2023

there is a toplevel directory called clockgating-plugin, but inside is a Makefile that builds a plugin called reg_clock_gating.

This is never built, as it is not mentioned in the plugin list. And if so, it would not work as the plugin name is different than the directory implies.

So either the directory has to be renamed or the plugin itself. Also, needs to be added to PLUGIN_LIST.

@hzeller
Copy link
Collaborator Author

hzeller commented Apr 28, 2023

Assigning to Karol to triage.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants