paragon-0.1.9: paragon.cabal

Name:                   paragon
Version:                0.1.9
License:                BSD3
License-File:           LICENSE
Author:                 Niklas Broberg
Maintainer:             Niklas Broberg <niklas.broberg@chalmers.se>
Category:               Language
Synopsis:               Paragon
Description:            Paragon suite
Stability:              Experimental
Tested-with:            GHC==7.0.2
Build-Type:             Simple
Cabal-Version:          >= 1.8

Extra-Source-Files:     src/Language/Java/Paragon/Lexer.x

Flag base4

Library
  Build-Tools:          alex >= 2.3
  Build-Depends:        array >= 0.1, pretty >= 1.0, cpphs >= 1.3, parsec >= 2.1 && < 3, containers >= 0.4 && < 0.5, uniplate == 1.6, directory, filepath, haskell-src-meta, th-lift, template-haskell
  if flag(base4)
    Build-depends:      base >= 4 && < 5, syb >= 0.3 && < 0.4
    cpp-options:        -DBASE4
  else
    Build-depends:      base >= 3 && < 4


  Exposed-modules:      Language.Java.Paragon.Parser,
                        Language.Java.Paragon.Pretty,
                        Language.Java.Paragon.Syntax,
                        Language.Java.Paragon.Lexer,
                        Language.Java.Paragon.TypeCheck,
                        Language.Java.Paragon.TypeCheck.Actors,
                        Language.Java.Paragon.TypeCheck.Constraints,
                        Language.Java.Paragon.TypeCheck.Containment,
                        Language.Java.Paragon.TypeCheck.Evaluate,
                        Language.Java.Paragon.TypeCheck.EvalEnv,
                        Language.Java.Paragon.TypeCheck.Locks,
                        Language.Java.Paragon.TypeCheck.Monad,
                        Language.Java.Paragon.TypeCheck.Monad.TcBase,
                        Language.Java.Paragon.TypeCheck.Monad.TcCont,
                        Language.Java.Paragon.TypeCheck.Monad.TcMonad,
                        Language.Java.Paragon.TypeCheck.Policy,
                        Language.Java.Paragon.TypeCheck.TcEnv,
                        Language.Java.Paragon.TypeCheck.TcExp,
                        Language.Java.Paragon.TypeCheck.TcState,
                        Language.Java.Paragon.TypeCheck.TcStmt,
                        Language.Java.Paragon.TypeCheck.Types,
                        Language.Java.Paragon.TypeCheck.Uniq,
                        Language.Java.Paragon.QuasiQuoter,
                        Language.Java.Paragon.Compile,
                        Language.Java.Paragon.PiGeneration,
                        Language.Java.Paragon.Verbosity

  Hs-source-dirs:       src

Executable parac
  Hs-source-dirs:       src
  Main-is:              Language/Java/Paragon.hs

  Other-modules:        Language.Java.Paragon.Parser,
                        Language.Java.Paragon.Pretty,
                        Language.Java.Paragon.Syntax,
                        Language.Java.Paragon.Lexer,
                        Language.Java.Paragon.TypeCheck,
                        Language.Java.Paragon.TypeCheck.Actors,
                        Language.Java.Paragon.TypeCheck.Constraints,
                        Language.Java.Paragon.TypeCheck.Containment,
                        Language.Java.Paragon.TypeCheck.Evaluate,
                        Language.Java.Paragon.TypeCheck.EvalEnv,
                        Language.Java.Paragon.TypeCheck.Locks,
                        Language.Java.Paragon.TypeCheck.Monad,
                        Language.Java.Paragon.TypeCheck.Monad.TcBase,
                        Language.Java.Paragon.TypeCheck.Monad.TcCont,
                        Language.Java.Paragon.TypeCheck.Monad.TcMonad,
                        Language.Java.Paragon.TypeCheck.Policy,
                        Language.Java.Paragon.TypeCheck.TcEnv,
                        Language.Java.Paragon.TypeCheck.TcExp,
                        Language.Java.Paragon.TypeCheck.TcState,
                        Language.Java.Paragon.TypeCheck.TcStmt,
                        Language.Java.Paragon.TypeCheck.Types,
                        Language.Java.Paragon.TypeCheck.Uniq,
                        Language.Java.Paragon.QuasiQuoter,
                        Language.Java.Paragon.Compile,
                        Language.Java.Paragon.PiGeneration,
                        Language.Java.Paragon.Verbosity


  Build-Tools:          alex >= 2.3
  Build-Depends:        array >= 0.1, pretty >= 1.0, cpphs >= 1.3, parsec >= 2.1 && < 3, containers >= 0.4 && < 0.5, uniplate == 1.6, directory, filepath, haskell-src-meta, th-lift, template-haskell
  if flag(base4)
    Build-depends:      base >= 4 && < 5, syb >= 0.3 && < 0.4
    cpp-options:        -DBASE4
  else
    Build-depends:      base >= 3 && < 4