Dependencies for abcBridge-0.12
Libraries
abcBridge
- aig (>=0.2.1)
- base (>=4)
- containers
- directory
- vector
Executables
find-segfault
- if !flag(enable-extra-tests)
- buildable: False
- abcBridge
- aig
- base (>=4 && <5)
- directory
- QuickCheck (>=2.7)
- random
- tasty
- tasty-hunit
- tasty-quickcheck
- tf-random
- unix (>=2.7)
- vector
long-test
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| enable-extra-tests | Enable building the long-test and find-segfault utility progams | Disabled |
| enable-pthreads | Turn on multithreading | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info