calculus-toolbox.cabal

name:                calculus-toolbox
version:             0.1.3
-- synopsis:
-- description:
homepage:            https://github.com/goodlyrottenapple/calculus-toolbox-2
license:             MIT
license-file:        LICENSE
author:              Samuel Balco
maintainer:          goodlyrottenapple@gmail.com
copyright:           2017 Samuel Balco
category:            Theorem Provers
build-type:          Simple
extra-source-files:  README.md
cabal-version:       >=1.10

library
  hs-source-dirs:      src
  ghc-options:         -Wall -Werror
  exposed-modules:     CTTerms.Core
                     --, Terms
                     --, Rules
                     -- , Rules.CutElimConditions
                     --, Terms.Parsers
                     -- , Terms.JSON
                     --, CTTerms.Core
                     , CTTerms.Parser.Core
                     , CTTerms.Parser.DescParser
                     , CTTerms.Typing.DescParser
                     , CTTerms.Parser.CTTermParser
                     -- , CTTerms.Typing
                     --, GUI
  other-modules:       Lib.Prelude
                     , Servant.JS.Custom
  build-depends:       base >= 4.7 && < 5
                     , protolude >= 0.1.6 && < 0.3
                     , array
                     , random
                     , text
                     , containers
                     , bifunctors
                     , template-haskell
                     , singletons
                     , pretty-tree
                     , aeson
                     , pretty-show
                     -- , parsec
                     , Earley
                     , unordered-containers
                     , vector
                     , regex-compat
                     , mtl
                     , servant-server
                     , servant-js
                     , wai
                     , wai-cors
                     , warp
                     , filepath
                     , directory
                     , lens
                     , servant-foreign
                     , monad-logger
                     -- , exceptions
  default-language:    Haskell2010
  default-extensions:  OverloadedStrings, NoImplicitPrelude, DuplicateRecordFields, DataKinds, DeriveGeneric, FlexibleContexts


executable calculus-toolbox
  hs-source-dirs:      app
  main-is:             Main.hs
  ghc-options:         -Wall -threaded -rtsopts -with-rtsopts=-N
  build-depends:       base
                     , calculus-toolbox
                     , protolude >= 0.1.6 && < 0.3
                     , optparse-generic
  default-language:    Haskell2010
  default-extensions:  OverloadedStrings, NoImplicitPrelude, DeriveGeneric

test-suite calculus-toolbox-test
  type:                exitcode-stdio-1.0
  hs-source-dirs:      test
  main-is:             Spec.hs
  build-depends:       base
                     , mcsequent
                     , protolude >= 0.1.6 && < 0.3
                     , hspec == 2.*
  ghc-options:         -Wall -threaded -rtsopts -with-rtsopts=-N
  default-language:    Haskell2010
  default-extensions:  OverloadedStrings, NoImplicitPrelude

source-repository head
  type:     git
  location: https://github.com/goodlyrottenapple/calculus-toolbox-2