cha.cabal

name:                cha
version:             0.1.0.0
synopsis:            Simple project template from stack
description:         Please see README.md
homepage:            https://github.com/thsutton/cha#readme
license:             BSD3
license-file:        LICENSE
author:              Thomas Sutton
maintainer:          me@thomas-sutton.id.au
copyright:           Copyright: (c) 2016 Thomas Sutton
category:            Web
build-type:          Simple
cabal-version:       >=1.10

flag coind
  description: Include co/inductive types
  default: False

library
  hs-source-dirs:      lib
  exposed-modules:     Derivation
                     , Extract
                     , Goal
                     , Interp
                     , Refiner
                     , Rules
                     , Rules.Base
                     , Rules.Ceq
                     , Rules.Eq
                     , Rules.General
                     , Rules.Nat
                     , Rules.Pi
                     , Rules.Sigma
                     , Rules.Uni
                     , Rules.Unit
                     , Rules.Utils
                     , Tactic
                     , Term
  default-language:    Haskell2010
  default-extensions:  CPP
  if flag(coind)
    cpp-options: -DFLAG_coind
  build-depends:       base >= 4.7 && < 5
                     , containers
                     , mtl

test-suite             check-hlint
  default-language:    Haskell2010
  type:                exitcode-stdio-1.0
  hs-source-dirs:      test
  main-is:             check-hlint.hs
  build-depends:       base
                     , hlint

test-suite             examples
  default-language:    Haskell2010
  type:                exitcode-stdio-1.0
  hs-source-dirs:      test
  main-is:             Examples.hs
  default-extensions:  CPP
  if flag(coind)
    cpp-options: -DFLAG_coind
  build-depends:       base
                     , cha