Dependencies for copilot-bluespec-4.6.1
Libraries
copilot-bluespec
- base (>=4.9 && <5)
- copilot-core (>=4.6.1 && <4.7)
- directory (>=1.3 && <1.4)
- filepath (>=1.4 && <1.6)
- fp-ieee (>=0.1.0 && <0.2)
- ieee754 (>=0.8.0 && <0.9)
- language-bluespec (>=0.1 && <0.2)
- pretty (>=1.1.2 && <1.2)
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| test-bluespec | Enable tests that require the Bluespec compiler (bsc) | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info