adp-multi-0.1.0: adp-multi.cabal
name: adp-multi
version: 0.1.0
cabal-version: >= 1.8
build-type: Simple
author: Maik Riechert
stability: experimental
bug-reports: https://github.com/neothemachine/adp-multi/issues
homepage: http://adp-multi.ruhoh.com
copyright: Maik Riechert, 2012
license: BSD3
license-file: LICENSE
tested-with: GHC==7.4.1
maintainer: Maik Riechert
category: Algorithms, Data Structures, Bioinformatics
synopsis: ADP for multiple context-free languages
description: adp-multi is an implementation of Algebraic Dynamic Programming
for multiple context-free languages.
It is a library based on the original Haskell implementation
and can be considered an unoptimized prototype.
source-repository head
type: git
location: git://github.com/neothemachine/adp-multi.git
Flag buildTests
description: Build test / benchmark executables
default: False
library
build-depends: base == 4.*,
array == 0.4.*,
containers == 0.5.*,
htrace == 0.1.*,
mtl == 2.1.*,
monadiccp == 0.7.*
hs-source-dirs: src
ghc-options: -Wall
exposed-modules: ADP.Multi.Combinators,
ADP.Multi.Helpers,
ADP.Multi.Parser,
ADP.Multi.Rewriting.ConstraintSolver,
ADP.Multi.Rewriting.Explicit,
ADP.Multi.SimpleParsers,
ADP.Multi.Tabulation
test-suite MainTestSuite
type: exitcode-stdio-1.0
x-uses-tf: true
build-depends:
base == 4.*,
HUnit == 1.2.*,
QuickCheck == 2.5.*,
test-framework == 0.6.*,
test-framework-quickcheck2 == 0.2.*,
test-framework-hunit == 0.2.*,
random-shuffle == 0.0.4
hs-source-dirs: src,
tests
ghc-options: -Wall -rtsopts
other-modules:
ADP.Multi.Combinators,
ADP.Multi.Helpers,
ADP.Multi.Parser,
ADP.Multi.Rewriting,
ADP.Multi.Rewriting.ConstraintSolver,
ADP.Multi.Rewriting.Explicit,
ADP.Multi.Rewriting.MonadicCpHelper,
ADP.Multi.Rewriting.Tests.YieldSize,
ADP.Multi.Rewriting.YieldSize,
ADP.Multi.SimpleParsers,
ADP.Multi.Tabulation,
ADP.Tests.Main,
ADP.Tests.NestedExample,
ADP.Tests.OneStructureExample,
ADP.Tests.RGExample,
ADP.Tests.RIGExample,
ADP.Tests.ZeroStructureTwoBackbonesExample
main-is: ADP/Tests/Suite.hs
executable adp-multi-benchmarks
if flag(buildTests)
build-depends: base == 4.*,
criterion == 0.6.*
else
buildable: False
hs-source-dirs: benchmarks,
src,
tests
ghc-options: -Wall -rtsopts
other-modules:
ADP.Tests.RGExample,
ADP.Tests.NestedExample,
ADP.Tests.RIGExample,
ADP.Tests.OneStructureExample,
ADP.Tests.ZeroStructureTwoBackbonesExample
main-is: Benchmarks.hs
executable adp-test
if !flag(buildTests)
buildable: False
build-depends: base == 4.*
hs-source-dirs:
src,
tests
ghc-options: -Wall -rtsopts -O0
main-is: ADP/Tests/Main.hs
other-modules:
ADP.Multi.Rewriting.ConstraintSolver,
ADP.Multi.Rewriting.Explicit,
ADP.Tests.RGExample,
ADP.Tests.NestedExample,
ADP.Tests.RIGExample,
ADP.Tests.OneStructureExample,
ADP.Tests.ZeroStructureTwoBackbonesExample