cspmchecker-0.1.2: cspmchecker.cabal

Name: cspmchecker
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 command line type checker for CSPM files.
Version: 0.1.2

Source-Repository head
    type:     git
    location: git://github.com/tomgr/libcspm.git
    subdir:   cspmchecker

Source-repository this
    type:     git
    location: git://github.com/tomgr/libcspm.git
    subdir:   cspmchecker
    tag: release-0.1.2
  
Executable cspmchecker
    Main-is: Main.hs
    Other-modules: Monad
    
    Extensions: DoAndIfThenElse

    Build-depends: 
        base >= 4 && < 5,
        libcspm >= 0.1.2,
        filepath >= 1.2,
        mtl >= 2.0,
        directory >= 1.0
    
    Hs-Source-Dirs: src/Checker

--Executable cspmcheckeri
--    Main-is: Main.hs
--    Other-modules: Monad
--  
--    Build-depends: 
--        base >= 4 && < 5,
--        libcspm,
--        filepath >= 1.2, 
--        mtl >= 2.0,
--        directory >= 1.0,
--        haskeline >= 0.6
--  
--    Hs-Source-Dirs: src/InteractiveChecker