author: Julien Moutinho <julm+hcompta@autogeree.net>
bug-reports: http://doc.autogeree.net/hcompta/bugs
build-type: Simple
cabal-version: >= 1.8
category: Finance
-- data-dir: data
-- data-files:
description: Accounting calculus.
extra-source-files: Test.hs
extra-tmp-files:
homepage: http://doc.autogeree.net/coop/hcompta
license: GPL
license-file: COPYING
maintainer: Julien Moutinho <julm+hcompta@autogeree.net>
name: hcompta-calculus
stability: experimental
synopsis: Accounting calculus based upon a typed lambda-calculus.
tested-with: GHC==7.8.4
version: 0.0.0

source-repository head
  location: git://git.autogeree.net/hcompta
  type:     git

Flag dev
  Default:     False
  Description: Turn on development settings.

Flag dump
  Default:     False
  Description: Dump some intermediate files.
  Manual:      True

Flag exe
  Description: Build only executable.
  Default:     False

Flag lib
  Description: Build only library.
  Default:     False

Flag prof
  Default:     False
  Description: Turn on profiling settings.

Flag threaded
  Default:     True
  Description: Enable threads.
  Manual:      True

Library
  extensions: NoImplicitPrelude
  ghc-options: -Wall -fno-warn-tabs
  if flag(dev)
    cpp-options: -DDEVELOPMENT
    ghc-options:
    -- -ddump-splices
    -- -fno-warn-unused-do-bind -fno-warn-name-shadowing -fno-warn-missing-signatures
    -- -fno-warn-type-defaults -fno-warn-orphans
  else
    ghc-options: -O2
  if flag(dump)
    ghc-options: -ddump-simpl -ddump-stg -ddump-to-file
  if flag(exe)
    Buildable: False
  if flag(prof)
    cpp-options: -DPROFILING
    ghc-options: -O2 -fprof-auto
  -- default-language: Haskell2010
  exposed-modules:
    Calculus.Abstraction.DeBruijn.Generalized
    Calculus.Lambda.Omega.Explicit
    Calculus.Lambda.Omega.Explicit.Read
    Calculus.Lambda.Omega.Implicit
    Control.Monad.Classes.EffectsFix
    Control.Monad.Classes.StateFix
    Control.Monad.Classes.Instance
    Control.Monad.Classes.StateInstance
  build-depends:
    base >= 4.6 && < 5
    , array
    , containers >= 0.5 && < 0.6
    , deepseq >= 1.4 && < 1.5
    , directory
    , filepath
    , ghc-prim
    -- , mtl >= 2.0
    , monad-classes >= 0.3.1.1
    , parsec >= 3.1.2 && < 4
    , peano
    , semigroups
    , strict
    , test-framework
    , test-framework-hunit
    , text
    , text-format
    , time
    , transformers >= 0.4 && < 0.5

Executable hcompta-calculus-explicit
  extensions: NoImplicitPrelude
  ghc-options: -Wall -fno-warn-tabs
               -main-is Calculus.Lambda.Omega.Explicit.REPL
  if flag(threaded)
    ghc-options: -threaded -rtsopts -with-rtsopts=-N
  if flag(dev)
    cpp-options: -DDEVELOPMENT
    ghc-options:
  else
    ghc-options: -O2
  if flag(prof)
    cpp-options: -DPROFILING
    ghc-options: -fprof-auto
  if flag(lib)
    Buildable: False
  exposed-modules:
  main-is: Calculus/Lambda/Omega/Explicit/REPL.hs
  hs-source-dirs: .
  build-depends:
    base >= 4.6 && < 5
    , ansi-terminal >= 0.4 && < 0.7
    , bytestring
    , containers >= 0.5 && < 0.6
    , Decimal
    , deepseq
    , directory
    , filepath
    , haskeline >= 0.7 && < 0.8
    , hcompta-calculus
    , mtl >= 2.0
    , parsec
    , semigroups
    , strict
    , text
    , text-format
    , time
    , transformers >= 0.4 && < 0.5