haskell-minisat/MiniSat2.cabal at master · msakai/haskell-minisat · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
Name:           MiniSat2
Version:        0.0.5
Cabal-Version:  >= 1.8
License:        BSD3
License-File:   COPYING
Author:         Masahiro Sakai
Maintainer:     Masahiro Sakai <masahiro.sakai@gmail.com>
Category:       Algorithms
Synopsis:       MiniSat2 wrapper
Description:    Low-level MiniSat2 wrapper
Stability:      experimental
Build-Type:	Simple
Extra-Source-Files:
  .travis.yml
  README.md
  cbits/core/*.h
  cbits/mtl/*.h
  cbits/utils/*.h
  samples/Test.hs
  minisat/LICENSE
  minisat/README
  minisat/doc/ReleaseNotes-2.2.0.txt

Source-Repository head
  type:     git
  location: git://github.com/msakai/haskell-minisat.git

Library
  Build-Depends:      base >=4 && <5, array >=0.4.0.0
  Hs-Source-Dirs:     src
  Exposed-Modules:    MiniSat2
  GHC-Options:        -Wall
  Extensions:         ForeignFunctionInterface GeneralizedNewtypeDeriving
  C-Sources:
     cbits/core/Solver.cc
     cbits/utils/Options.cc
     cbits/hsminisat.cxx
  CC-Options:         -Wall -Wno-parentheses -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS
  Include-Dirs:       cbits
  Extra-Libraries:    stdc++

Test-suite Test
  Type:               exitcode-stdio-1.0
  HS-Source-Dirs:     test
  Main-is:            Test.hs
  Build-depends:      base >=4 && <5, array, MiniSat2, test-framework, test-framework-hunit, HUnit