name:                tip-lib
version:             0.1
synopsis:            tons of inductive problems - support library and tools
description:         This package provides a tool for processing inductive theorem proving problems in TIP format (see the homepage for details).
homepage:            http://tip-org.github.io
bug-reports:         http://github.com/tip-org/tools/issues
license:             BSD3
license-file:        LICENSE
author:              Dan Rosén, Nick Smallbone
maintainer:          danr@chalmers.se
category:            Theorem Provers
build-type:          Simple
cabal-version:       >=1.10

source-repository head
  type:     git
  location: http://github.com/tip-org/tools

library
  exposed-modules:
    Tip.Core
    Tip.Lint
    Tip.Types
    Tip.Scope
    Tip.Fresh
    Tip.WorkerWrapper
    Tip.Simplify
    Tip.Passes
    Tip.Pretty
    Tip.Pretty.SMT
    Tip.Pretty.Why3
    Tip.Pretty.Isabelle
    Tip.Pretty.Haskell

    Tip.Parser

    Tip.Utils
    Tip.Writer

    Tip.Rename
    Tip.Utils.Rename
    Tip.Haskell.Repr
    Tip.Haskell.Translate
    Tip.Haskell.Rename
    Tip.CallGraph
  other-modules:
    Tip.Pass.AxiomatizeFuncdefs
    Tip.Pass.Lift
    Tip.Pass.Booleans
    Tip.Pass.CommuteMatch
    Tip.Pass.AddMatch
    Tip.Pass.CSEMatch
    Tip.Pass.RemoveNewtype
    Tip.Pass.RemoveMatch
    Tip.Pass.NegateConjecture
    Tip.Pass.EqualFunctions
    Tip.Pass.Uncurry
    Tip.Pass.Pipeline
    Tip.Pass.EliminateDeadCode
    Tip.Pass.FillInCases

    Tip.Parser.ErrM
    Tip.Parser.AbsTIP
    Tip.Parser.LexTIP
    Tip.Parser.ParTIP
    Tip.Parser.Convert

  hs-source-dirs:      src
  include-dirs:        src
  ghc-options:         -w
  default-language:    Haskell2010
  build-depends:       base >=4 && <5,
                       geniplate-mirror >=0.7.1,
                       split,
                       containers,
                       mtl,
                       pretty,
                       array,
                       optparse-applicative

executable tip
  main-is:             executable/Main.hs
  default-language:    Haskell2010
  build-depends:       base,
                       tip-lib,
                       pretty-show,
                       pretty,
                       optparse-applicative