summaryrefslogtreecommitdiff
path: root/ADPfusionSet.cabal
blob: 6e3fb80c8ec8732664290dba7552fa4f67fd3c30 (plain)
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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
name:           ADPfusionSet
version:        0.0.0.2
author:         Christian Hoener zu Siederdissen, 2016-2017
copyright:      Christian Hoener zu Siederdissen, 2016-2017
homepage:       https://github.com/choener/ADPfusionSet
bug-reports:    https://github.com/choener/ADPfusionSet/issues
maintainer:     choener@bioinf.uni-leipzig.de
category:       Algorithms, Data Structures, Bioinformatics, Formal Languages
license:        BSD3
license-file:   LICENSE
build-type:     Simple
stability:      experimental
cabal-version:  >= 1.10.0
tested-with:    GHC == 8.0.2, GHC == 8.2.1
synopsis:       Dynamic programming for Set data structures.
description:
                <http://www.bioinf.uni-leipzig.de/Software/gADP/ generalized Algebraic Dynamic Programming>
                .
                Extensions of ADPfusion for set-(like) data structures.
                .



Extra-Source-Files:
  README.md
  changelog.md



flag examples
  description:  build the examples
  default:      False
  manual:       True

flag debug
  description:  Enable bounds checking and various other debug operations at the cost of a significant performance penalty.
  default:      False
  manual:       True

flag debugoutput
  description:  Enable debug output, which spams the screen full of index information
  default:      False
  manual:       True


library
  build-depends: base               >= 4.7      &&  < 5.0
               , bits               >= 0.4
               , containers
               , mmorph             >= 1.0
               , mtl                >= 2.0
               , primitive          >= 0.5.4
               , QuickCheck         >= 2.7
               , strict             >= 0.3
               , template-haskell   >= 2.0
               , th-orphans         >= 0.12
               , transformers       >= 0.3
               , tuple              >= 0.3
               , vector             >= 0.11
               --
               , ADPfusion          == 0.5.2.*
               , DPutils            == 0.0.1.*
               , OrderedBits        == 0.0.1.*
               , PrimitiveArray     == 0.8.0.*

  exposed-modules:
    -- multi imports
--    ADP.Fusion.Set
    ADP.Fusion.Boundary
    ADP.Fusion.EdgeBoundary
    ADP.Fusion.Set1
--    ADP.Fusion.Set2
    -- Set
--    ADP.Fusion.Core.Set
    ADP.Fusion.Core.Boundary
    ADP.Fusion.Core.EdgeBoundary
    ADP.Fusion.Core.Set1
--    ADP.Fusion.Core.Set2
--    ADP.Fusion.SynVar.Indices.Set0
    ADP.Fusion.SynVar.Indices.Set1
--    ADP.Fusion.Term.Chr.Set0
--    ADP.Fusion.Term.Edge.Set
    ADP.Fusion.Term.Edge.EdgeBoundary
    ADP.Fusion.Term.Edge.Set1
    ADP.Fusion.Term.EdgeWithSet
    ADP.Fusion.Term.EdgeWithSet.EdgeBoundary
    ADP.Fusion.Term.EdgeWithSet.Set1
    ADP.Fusion.Term.EdgeWithSet.Type
--    ADP.Fusion.Term.Edge.Set2
--    ADP.Fusion.Term.Epsilon.Set
    ADP.Fusion.Term.Epsilon.Set1
    ADP.Fusion.Term.PeekIndex.Set1
    ADP.Fusion.Term.Singleton.Set1
--    ADP.Fusion.Term.Singleton.Set2
    ADP.Fusion.Term.Singleton.Type

  default-extensions: BangPatterns
                    , ConstraintKinds
                    , CPP
                    , DataKinds
                    , DefaultSignatures
                    , FlexibleContexts
                    , FlexibleInstances
                    , GADTs
                    , KindSignatures
                    , MultiParamTypeClasses
                    , RankNTypes
                    , RecordWildCards
                    , ScopedTypeVariables
                    , StandaloneDeriving
                    , TemplateHaskell
                    , TupleSections
                    , TypeFamilies
                    , TypeOperators
                    , TypeSynonymInstances
                    , UndecidableInstances

  default-language:
    Haskell2010
  ghc-options:
    -O2 -funbox-strict-fields
  if flag(debug)
    cpp-options: -DADPFUSION_CHECKS
    ghc-options: -fno-ignore-asserts
  if flag(debugoutput)
    cpp-options: -DADPFUSION_DEBUGOUTPUT



test-suite properties
  type:
    exitcode-stdio-1.0
  main-is:
    properties.hs
  ghc-options:
    -threaded -rtsopts -with-rtsopts=-N
  hs-source-dirs:
    tests
  default-language:
    Haskell2010
  default-extensions: CPP
                    , TemplateHaskell
  build-depends: base
               , QuickCheck
               , smallcheck
               , tasty              >= 0.11
               , tasty-quickcheck   >= 0.8
               , tasty-smallcheck   >= 0.8
               , tasty-th           >= 0.1
               --
               , ADPfusionSet



source-repository head
  type: git
  location: git://github.com/choener/ADPfusionSet