cabal-version: >= 1.6
name:          pisigma
version:       0.1.0.3
license:       BSD3
license-file:  LICENSE
data-files:    examples/*.pi
               emacs-mode/*.el
author:        Thorsten Altenkirch <txa@cs.nott.ac.uk>,
               Andres Loeh <kspisigma@andres-loeh.de>,
               Nils Anders Danielsson <nad@cs.nott.ac.uk>,
               Nicolas Oury <Nicolas.Oury@ed.ac.uk>,
               Darin Morrison <dwm@cs.nott.ac.uk>
maintainer:    Thorsten Altenkirch <txa@cs.nott.ac.uk>,
               Andres Loeh <kspisigma@andres-loeh.de>
description:   dependently typed core language
synopsis:      dependently typed core language
category:      Development, Language, Dependent Types
build-type:    Simple

library
  build-depends:    array           >= 0.2   && < 0.3,
                    base            >= 4.0   && < 5.0,
                    bytestring      >= 0.9   && < 1.0,
                    haskeline       >= 0.6   && < 0.7,
                    haskeline-class >= 0.6.1 && < 0.7,
                    mpppc           >= 0.1.0 && < 0.2,
                    mtl             >= 1.1   && < 1.2,
                    parsec          >= 3.0   && < 4.0,
                    text            >= 0.5   && < 0.6,
                    utf8-string     >= 0.3.5 && < 0.4

  exposed-modules:  Language.PiSigma.Check
                    Language.PiSigma.Equality
                    Language.PiSigma.Evaluate
                    Language.PiSigma.Normalise
                    Language.PiSigma.Lexer
                    Language.PiSigma.Parser
                    Language.PiSigma.Pretty
                    Language.PiSigma.Syntax
                    Language.PiSigma.Util.String.Internal
                    Language.PiSigma.Util.String.Parser

  ghc-options:      -funbox-strict-fields

  hs-source-dirs:   src



executable pisigma
  ghc-options:      -funbox-strict-fields

  hs-source-dirs:   src

  main-is:          Tools/Interpreter/Main.hs

  other-modules:    Language.PiSigma.Check
                    Language.PiSigma.Equality
                    Language.PiSigma.Evaluate
                    Language.PiSigma.Normalise
                    Language.PiSigma.Lexer
                    Language.PiSigma.Parser
                    Language.PiSigma.Pretty
                    Language.PiSigma.Syntax
                    Language.PiSigma.Util.String.Internal
                    Language.PiSigma.Util.String.Parser
                    Tools.Interpreter.REPL