make codegen stopped working #1717
Description
Describe the bug
After merging PR #1638, it appears that make codegen no longer functions correctly. The generated code is now empty (0 files), suggesting an issue with the updated code generation setup. Reverting PR #1638 resolves the issue and restores make codegen functionality.
To Reproduce
- Pull the main branch.
- Run
make codegen. - Observe that no code is generated.
Expected Behavior
Running make codegen should produce the expected generated code without any issues.