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

-- The name of the package.
name:                Delta-Lambda

-- 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.0.0

-- A short (one-line) description of the package.
synopsis:            A demonstration interpreter for type system delta-lambda (of N.G. De-bruijn)

-- A longer description of the package.
description:         A demonstration package for the type system delta-lambda (of N.G. De-bruijn)
                     in ~1000 lines of haskell.
                     this is at the moment exceptionally ALPHA level software.
                     no tests for the validity of the type checker (only the
                     type synthesizer), or the parser, or the repl, etc...
                     there are dragons in here (soon to be tamed), and lots
                     of them!

                     todo: profiling, unit testing, formal verification of type correctness
                           adequacy proof of the implemented type system.

-- The license under which the package is released.
license:             MIT

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

-- The package author(s).
author:              James M

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

-- A copyright notice.
-- copyright:           

category:            Compilers/Interpreters

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

Flag Debug
  Description:         Enable debugging
  Default:             False
                     

executable Delta-Lambda
  -- .hs or .lhs file containing the Main module.
  main-is:             dl.hs
  default-extensions:  OverloadedStrings,
                       FlexibleContexts,
                       TypeSynonymInstances,
                       FlexibleInstances,
                       MultiParamTypeClasses,
                       DefaultSignatures,
                       DeriveGeneric,
                       ScopedTypeVariables


  if !flag(debug)
      ghc-options:     -threaded
                       -with-rtsopts=-N
                       -W
                       -fno-warn-warnings-deprecations
                       -fno-warn-orphans
                       -fwarn-unused-binds
  else
     ghc-options:      -fprof-auto-calls
                       -with-rtsopts=-pa
                       
                       
  -- 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.8 && <4.9,
                       bytestring >= 0.10.6.0,
                       cereal >=0.5 && <0.6,
                       cpphs >=1.20,
                       filepath >= 1.4.0.0,
                       haskeline >=0.7 && <0.8,
                       megaparsec >=5.0 && <5.1,
                       mtl>=2.2 && <2.3,
                       options >=1.2 && <1.3,
                       parallel>=3.2 && <3.3,
                       text >= 1.2.2.0,
                       wl-pprint >= 1.2
  
  -- Directories containing source files.
  -- hs-source-dirs:      
  
  -- Base language which the package is written in.
  default-language:    Haskell2010