abcBridge-0.15: dependencies

Dependencies for abcBridge-0.15

library	aig (>=0.2.3) base (>=4 && <5) base-compat (>=0.6.0) containers directory vector
find-segfault	if !flag(enable-extra-tests) buildable: False else abcBridge aig base (>=4 && <5) base-compat (>=0.6.0) directory QuickCheck (>=2.7) random tasty tasty-hunit tasty-quickcheck tf-random unix (>=2.7) vector
long-test	abcBridge base (>=4 && <5) base-compat (>=0.6.0) if !flag(enable-extra-tests) buildable: False

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