Name: libcspm
License: BSD3
License-File: LICENSE.txt
Copyright: (c) 2011 Thomas Gibson-Robinson
Author: Thomas Gibson-Robinson <thomas.gibsonrobinson@gmail.com>
Maintainer: Thomas Gibson-Robinson <thomas.gibsonrobinson@gmail.com>
Bug-reports: https://github.com/tomgr/libcspm/issues
Homepage: https://github.com/tomgr/libcspm
Category: Concurrency
Build-type: Simple
Cabal-version: >=1.9.2
Synopsis: A library providing a parser, type checker and evaluator for CSPM.
Version: 0.1.2
Extra-source-files: 
    README.md,
    CHANGELOG.txt

Source-Repository head
    type:     git
    location: https://github.com/tomgr/libcspm
  
Source-repository this
    type:     git
    location: https://github.com/tomgr/libcspm
    tag: release-0.1.2

Library
    Build-Depends:
        base >= 4 && < 5,
        bytestring >= 0.9,
        filepath >= 1.2, 
        array >= 0.3, 
        containers >= 0.4, 
        mtl >= 2.0, 
        pretty >= 1.0,
        directory >= 1.0,
        graph-wrapper >= 0.2

    Exposed-Modules:
        CSPM,
        CSPM.Compiler.Events,
        CSPM.Compiler.Map,
        CSPM.Compiler.Processes,
        CSPM.Compiler.Set,
        CSPM.DataStructures.Names,
        CSPM.DataStructures.Syntax,
        CSPM.DataStructures.Tokens,
        CSPM.DataStructures.Types,
        CSPM.Desugar,
        CSPM.Evaluator,
        CSPM.Evaluator.BuiltInFunctions,
        CSPM.Evaluator.DeclBind,
        CSPM.Evaluator.Environment,
        CSPM.Evaluator.Exceptions,
        CSPM.Evaluator.Expr,
        CSPM.Evaluator.Module,
        CSPM.Evaluator.Monad,
        CSPM.Evaluator.PatBind,
        CSPM.Evaluator.Values,
        CSPM.Evaluator.ValueSet
        CSPM.Parser,
        CSPM.Parser.Exceptions,
        CSPM.Parser.Lexer,
        CSPM.Parser.Monad,
        CSPM.Parser.Parser,
        CSPM.PrettyPrinter,
        CSPM.TypeChecker,
        CSPM.TypeChecker.BuiltInFunctions,
        CSPM.TypeChecker.Common,
        CSPM.TypeChecker.Compressor,
        CSPM.TypeChecker.Decl,
        CSPM.TypeChecker.Dependencies,
        CSPM.TypeChecker.Environment,
        CSPM.TypeChecker.Exceptions,
        CSPM.TypeChecker.Expr,
        CSPM.TypeChecker.InteractiveStmt,
        CSPM.TypeChecker.Module,
        CSPM.TypeChecker.Monad,
        CSPM.TypeChecker.Pat,
        CSPM.TypeChecker.Unification,
        Util.Annotated,
        Util.Exception,
        Util.HierarchicalMap,
        Util.List,
        Util.Monad,
        Util.PartialFunctions,
        Util.Prelude,
        Util.PrettyPrint
    
    Other-Modules:
        Paths_libcspm
    
    Hs-Source-Dirs: src
    
    Extensions: DoAndIfThenElse

Test-Suite unit-tests
    Type: exitcode-stdio-1.0
    Main-is: Main.hs

    Extensions: DoAndIfThenElse
    
    Hs-Source-Dirs: tests
    
    Build-depends: 
        base,
        libcspm,
        filepath >= 1.2, 
        mtl >= 2.0,
        directory >= 1.0