name:                horname
version:             0.1.0.0
synopsis:            Rename function definitions returned by SMT solvers
description:         Please see README.md
homepage:            https://github.com/cocreature/horname#readme
license:             BSD3
license-file:        LICENSE
author:              Moritz Kiefer
maintainer:          value
copyright:           (C) 2016 Moritz Kiefer
category:            Web
build-type:          Simple
cabal-version:       >=1.10
extra-source-files:  README.md
tested-with:         GHC == 8.0.1

executable horname
  hs-source-dirs:      app
  other-modules:       Options
  main-is:             Main.hs
  default-language:    Haskell2010
  build-depends:       base >= 4.9 && < 5
                     , horname
                     , optparse-applicative >= 0.12 && < 0.14
                     , text >= 1.2 && < 1.3
  ghc-options:         -Wall

library
    hs-source-dirs:   src
    exposed-modules:  Horname
                      Horname.Internal.SMT
                      Horname.Internal.SMT.Parser
                      Horname.Internal.SMT.Pretty
    default-language: Haskell2010
    build-depends:    base >= 4.9 && < 5
                    , containers >= 0.5 && < 0.6
                    , megaparsec >= 5.0 && < 5.2
                    , text >= 1.2 && < 1.3
                    , these >= 0.7 && < 0.8
                    , uniplate >= 1.6 && < 1.7
                    , wl-pprint-text >= 1.1 && < 1.2
    ghc-options:      -Wall