bv-0.5: dependencies

Dependencies for bv-0.5

library	base (>=4.6 && <5) if impl(ghc) && flag(gmp) ghc-prim integer-gmp (>=0.5.1)
bv-tester	if flag(test) base (>=4.6 && <5) QuickCheck (>=2.4) test-framework-quickcheck2 (>=0.3) test-framework-th (>=0.2) else buildable: False

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