vampire-0.1.3.0: vampire.cabal

-- Initial vampire.cabal generated by cabal init.  For further
-- documentation, see http://haskell.org/cabal/users-guide/

-- The name of the package.
name:                vampire

-- The package version.  See the Haskell package versioning policy (PVP)
-- for standards guiding when and how versions should be incremented.
-- http://www.haskell.org/haskellwiki/Package_versioning_policy
-- PVP summary:      +-+------- breaking API changes
--                   | | +----- non-breaking API additions
--                   | | | +--- code changes with no API change
version:             0.1.3.0

-- A short (one-line) description of the package.
synopsis:            Analyze and visualize expression trees.

-- A longer description of the package.
-- description:

-- URL for the project homepage or repository.
homepage:            https://github.com/benzrf/vampire

-- The license under which the package is released.
license:             GPL-3

-- The file containing the license text.
license-file:        LICENSE

-- The package author(s).
author:              benzrf

-- An email address to which users can send suggestions, bug reports, and
-- patches.
maintainer:          benzrf@benzrf.com

-- A copyright notice.
-- copyright:

category:            Development

build-type:          Simple

-- Extra files to be distributed with the package, such as examples or a
-- README.
-- extra-source-files:

-- Constraint on the version of Cabal needed to build this package.
cabal-version:       >=1.10

data-dir:            data
data-files:          vampire-repl

library
  exposed-modules:
    Debug.Vampire
    Debug.Vampire.Trace

  other-modules:
    Debug.Vampire.Data
    Debug.Vampire.Rewrite
    Debug.Vampire.Analyze

  build-depends:
    base >=4.6 && <4.7,
    haskell-src-exts,
    uniplate,
    deepseq,
    fgl,
    mtl,
    dlist,
    graphviz

  default-language:    Haskell2010

executable vampire
  -- .hs or .lhs file containing the Main module.
  main-is:             Main.hs

  -- Modules included in this executable, other than Main.
  -- other-modules:

  -- LANGUAGE extensions used by modules in this package.
  -- other-extensions:

  -- Other library packages from which modules are imported.
  build-depends:
    base >=4.6 && <4.7,
    haskell-src-exts,
    uniplate,
    deepseq,
    fgl,
    mtl,
    dlist,
    graphviz,
    directory,
    process,
    optparse-applicative

  -- Directories containing source files.
  -- hs-source-dirs:

  -- Base language which the package is written in.
  default-language:    Haskell2010