pts.cabal

Name:                pts
Version:             0.1
Synopsis:            Interpreter for functional pure type systems.
Description:         Interpreter for functional pure type systems.
License:             BSD3
License-file:        LICENSE
Author:              Tillmann Rendel, Klaus Ostermann, Paolo G. Giarrusso
Maintainer:          rendel@informatik.uni-marburg.de
-- Copyright:
Category:            Language
Build-type:          Simple
Extra-source-files:  examples/Arithmetics.lpts
                     examples/ChurchNumbers.lpts
                     examples/Functions.lpts
                     examples/Inference.lpts
                     examples/Syntax.lpts
Data-files:          emacs/pts-mode.el
Cabal-version:       >= 1.8

Source-Repository head
  type:                git
  location:            git://github.com/Toxaris/pts.git
  branch:              master

Flag debug-typing
  Description:         Enable the --debug=typing flag.
  Default:             False
  Manual:              True

Flag pts-generators
  Description:         Compile PTS code generators
  Default:             False
  Manual:              True

Library
  Hs-source-dirs:      src-lib
  Build-depends:       base < 5,
                       containers >= 0.4 && < 0.6,
                       pretty >= 1.0 && < 1.2,
                       mtl >= 2.0 && < 2.3,
                       transformers >= 0.2 && < 0.5,
                       parsec == 3.1.*,
                       template-haskell,
                       syb,
                       filepath,
                       directory >= 1.2.0.1 && < 1.3
  Exposed-modules:     PTS.Interactive
                       PTS.Interactive.Runners
                       PTS.Dynamics
                       PTS.Dynamics.Binding
                       PTS.Dynamics.Evaluation
                       PTS.Dynamics.Module
                       PTS.Dynamics.TypedTerm
                       PTS.Dynamics.Value
                       PTS.Error
                       PTS.Instances
                       PTS.Options
                       PTS.Process
                       PTS.Process.File
                       PTS.Process.Main
                       PTS.QuasiQuote
                       PTS.Statics
                       PTS.Statics.Typing
                       PTS.Syntax
                       PTS.Syntax.Algebra
                       PTS.Syntax.Constants
                       PTS.Syntax.Diff
                       PTS.Syntax.File
                       PTS.Syntax.Names
                       PTS.Syntax.Parser
                       PTS.Syntax.Pretty
                       PTS.Syntax.Statement
                       PTS.Syntax.Substitution
                       PTS.Syntax.Telescope
                       PTS.Syntax.Term
                       PTS.Transform
                       Control.Monad.Assertions
                       Control.Monad.Environment
                       Control.Monad.Errors
                       Control.Monad.Errors.Class
                       Control.Monad.Log
  Other-modules:       Paths_pts
  -- Flags useful for heap profiling. They might be redundant with
  -- --enable-library-profiling.
  Ghc-prof-options: -fprof-auto -fno-prof-count-entries

  if flag(debug-typing)
    CPP-Options: -DDEBUG_TYPING

Executable pts
  Hs-source-dirs:      src-exec
  Main-is:             pts.hs
  Build-depends:       base < 5,
                       pts
  -- Flags useful for heap profiling:
  Ghc-prof-options: -fprof-auto -fno-prof-count-entries -rtsopts

  -- Build-tools:

Executable pts-nbe
  Hs-source-dirs:      src-exec
  Main-is:             pts-nbe.hs
  Build-depends:       base < 5,
                       pts
  if flag(pts-generators)
    Buildable: True
  else
    Buildable: False

Executable pts-quote
  Hs-source-dirs:      src-exec
  Main-is:             pts-quote.hs
  Build-depends:       base < 5,
                       pts
  if flag(pts-generators)
    Buildable: True
  else
    Buildable: False

Test-suite tests
  Type: exitcode-stdio-1.0
  Hs-source-dirs:      src-test
  Main-is:             tests.hs
  Other-modules:       PTS.File.Tests
                       PTS.Syntax.Arbitrary
                       PTS.Syntax.Parser.Tests
                       PTS.Syntax.Pretty.Tests
                       PTS.Syntax.Substitution.Properties
                       PTS.Syntax.Substitution.Tests
                       Test.Property
  Build-depends:       base >= 4.0 && < 5,
                       mtl >= 2.0 && < 2.3,
                       transformers >= 0.2 && < 0.5,
                       containers >= 0.4 && < 0.6,
                       pretty >= 1.0 && < 1.2,
                       test-framework,
                       test-framework-quickcheck2,
                       test-framework-hunit,
                       QuickCheck,
                       HUnit,
                       parsec == 3.1.*,
                       pts,
                       directory >= 1.2.0.1 && < 1.3
  -- Ghc-options: -Wall -fno-warn-orphans