-
Notifications
You must be signed in to change notification settings - Fork 1
Open
Labels
enhancementNew feature or requestNew feature or request
Description
Currently, BluespecSettings only has a single option that can be configured:
copilot-bluespec/src/Copilot/Compile/Bluespec/Settings.hs
Lines 7 to 10 in 9d83645
| -- | Settings used to customize the code generated. | |
| newtype BluespecSettings = BluespecSettings | |
| { bluespecSettingsOutputDirectory :: FilePath | |
| } |
We may want to consider other options to add here. For example, do we want Bluespec equivalents of copilot-c99's cSettingsStepFunctionName? There are several function names that copilot-bluespec generates, and it might make sense to allow users to be able to change them.
Metadata
Metadata
Assignees
Labels
enhancementNew feature or requestNew feature or request