minisat-0.1: minisat.cabal

name:            minisat
version:         0.1
build-type:      Simple
cabal-version:   >= 1.6
Synopsis:        A Haskell bundle of the Minisat SAT solver
Category:        Logic
License:         BSD3
License-File:    LICENSE
extra-source-files: minisat-c-bindings/minisat.h
                    minisat-haskell-bindings/hsc-magic.h
                    minisat/minisat/simp/*.h
                    minisat/minisat/mtl/*.h
                    minisat/minisat/core/*.h
                    minisat/minisat/utils/*.h

source-repository head
  type:     git
  location: https://github.com/jbransen/minisat-bundle.git

library
  extensions:      ForeignFunctionInterface
  build-depends:   base >= 3 && < 5, async
  -- On Windows finding the library is harder, so depend on
  -- Haskell zlib package which also contains the z library
  if os(windows)
     build-depends: zlib
  else
     extra-libraries: z
  C-sources:       minisat-c-bindings/minisat.cc
                   minisat/minisat/core/Solver.cc
                   minisat/minisat/simp/SimpSolver.cc
                   minisat/minisat/utils/System.cc
  CC-options:      -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS
  extra-libraries: stdc++
  hs-source-dirs:  minisat-haskell-bindings
  include-dirs:    minisat-haskell-bindings, minisat-c-bindings, minisat
  exposed-modules: MiniSat