abcBridge-0.12: dependencies

Dependencies for abcBridge-0.12

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