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