Dependencies for bv-0.5
Libraries
bv
- base (>=4.6 && <5)
- if impl(ghc) && flag(gmp)
- ghc-prim
- integer-gmp (>=0.5.1)
Executables
bv-tester
- if flag(test)
- base (>=4.6 && <5)
- QuickCheck (>=2.4)
- test-framework-quickcheck2 (>=0.3)
- test-framework-th (>=0.2)
- buildable: False
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| test | Build the test suite, and an executable to run it. | Disabled |
| check-bounds | Bounds checking. | Enabled |
| dev | Development options. | Disabled |
Automatic Flags
| Name | Description | Default |
|---|---|---|
| gmp | Using Integer GMP backend. | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info