Name: abcBridge Version: 0.15 Synopsis: Bindings for ABC, A System for Sequential Synthesis and Verification Description: Bindings for ABC focused on creating And-Inverter Graphs (AIG) and then performing synthesis and equivalence checking. License: BSD3 License-file: LICENSE Author: Galois Inc. Maintainer: jhendrix@galois.com, rdockins@galois.com Copyright: (c) 2010-2015 Galois Inc. Category: Data build-type: Custom cabal-Version: >= 1.18 extra-source-files: include/*.h cbits/*.c scripts/*.sh tests/eijk.S298.S.aig flag enable-extra-tests Description: Enable building the long-test and find-segfault utility progams Default: False flag enable-pthreads Description: Turn on multithreading Default: True source-repository head type: git location: https://github.com/GaloisInc/abcBridge.git library Hs-source-dirs: src Exposed-modules: Data.ABC Data.ABC.AIG Data.ABC.GIA Data.ABC.Internal.Field Data.ABC.Internal.ABCGlobal Data.ABC.Internal.VecInt Data.ABC.Internal.VecPtr Data.ABC.Internal.ABC Data.ABC.Internal.Main Data.ABC.Internal.FRAIG Data.ABC.Internal.GIA Data.ABC.Internal.CEC Data.ABC.Internal.IO Data.ABC.Internal.AIG Data.ABC.Internal.GiaAig Data.ABC.Internal.CNF Data.ABC.Internal.Orphan other-modules: Data.ABC.Util Default-Language: Haskell98 Default-Extensions: ForeignFunctionInterface, FlexibleContexts, MultiParamTypeClasses, EmptyDataDecls Ghc-options: -Wall -fno-ignore-asserts -- Ghc-prof-options: -auto-all -caf-all -- -U__BLOCKS__ to work around https://github.com/haskell/c2hs/issues/29 Cc-options: -U__BLOCKS__ -U__has_attribute -w if flag(enable-pthreads) { Cc-options: -DABC_USE_PTHREADS Extra-libraries: pthread } if os(windows) { if arch(x86_64) { CC-options: -D_WIN64 -DHAVE_STRUCT_TIMESPEC } else { Cc-options: -D_WIN32 } } if !os(windows) { --Cc-options: -rdynamic if arch(x86_64) { Cc-options: -DLIN64 } else { Cc-options: -DLIN } } Include-dirs: include Build-depends: base == 4.*, base-compat >= 0.6.0, aig >= 0.2.3, containers, directory, vector Extra-libraries: abc Build-tools: c2hs C-sources: cbits/abcbridge.c cbits/abcbridge_qbf.c cbits/cnfWriteHeader.c cbits/abcBridgeGiaDup.c cbits/pthread_stubs.c test-suite abc-test type: exitcode-stdio-1.0 hs-source-dirs: tests ghc-options: -Wall -- ghc-prof-options: -fprof-auto default-Language: Haskell98 other-modules: Tests.Basic Tests.Operations Tests.QBF main-is: abc-test.hs build-depends: base == 4.*, base-compat >= 0.6.0, abcBridge, aig, directory, vector, tasty, tasty-ant-xml, tasty-hunit, tasty-quickcheck >= 0.8.1, QuickCheck >= 2.7 Executable find-segfault hs-source-dirs: tests ghc-options: -Wall default-Language: Haskell2010 main-is: find-segfault.hs if !flag(enable-extra-tests) buildable: False else buildable: True build-depends: base == 4.*, base-compat >= 0.6.0, abcBridge, aig, directory, vector, random, tf-random, unix >= 2.7, tasty, tasty-hunit, tasty-quickcheck, QuickCheck >= 2.7 Executable long-test hs-source-dirs: tests if !flag(enable-extra-tests) buildable: False ghc-options: -Wall -- ghc-prof-options: -fprof-auto default-Language: Haskell98 main-is: long-test.hs build-depends: base == 4.*, base-compat >= 0.6.0, abcBridge