Name:                CSPM-cspm
Version:             0.8.0.0

Synopsis:            cspm command line tool for analyzing CSPM specifications.
Description:
  cspm is a small command line tool for analyzing CSPM specifications.
  It supports serveral modes of operation.
  For example as:
  .
  * 'cspm --help'      -> print a help message.
  .
  * 'cspm eval '3+4''  -> evaluate an expression.
  .
  * 'cspm trace spec.csp' -> interactively trace a process.
  .
  * 'cspm assert spec.csp' -> check the assertions of a specification (only some assertions are supported).
  .
  * 'cspm lts spec.csp --dotOut spec.csp.dot' -> compute the labeled transition system of a process and dump it as dot-file.
  .
  * 'cspm lts spec.csp --fdrOut spec.csp.fdr'   -> compute the LTS
    and dump it a fdr script suitable for refinement checking.
  .
  cspm is not a full featured FDR replacement.
  The main purpose of cspm is to show how the different CSPM-packages work together.
  LTS computation can demonstrate nice speed-ups on multi-core machines.
  Try for example 'cspm +RTS -N7 -RTS fdr spec.csp' to use 7 cores.


License:             BSD3
category:            Language,Formal Methods,Concurrency
License-File:        LICENSE
Author:              Marc Fontaine
Maintainer:          Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
cabal-Version:       >= 1.20
build-type:          Simple
Tested-With:         GHC == 7.8.3
Stability:           experimental

Executable cspm
  Build-Depends:
    CSPM-Frontend >= 0.10 && < 0.11
    ,CSPM-CoreLanguage >= 0.3 && < 0.4
    ,CSPM-FiringRules >= 0.4 && < 0.5
    ,CSPM-Interpreter >= 0.7 && < 0.8
    ,CSPM-ToProlog >= 0.5 && < 0.6
    ,cmdargs >= 0.10.0 && < 0.11
    ,xml >= 1.3 && < 1.4
    ,containers >= 0.5 && < 0.6
    ,parallel >= 3.2 && < 3.3
    ,base >= 4.0 && < 5.0
    ,pretty >= 1.1 && < 1.2
    ,transformers >= 0.3
    ,syb >= 0.4 && <0.5
    ,prettyclass >= 1.0 && < 1.1
    ,hslua >=0.3.12 && <0.4

  GHC-Options:
    -threaded -funbox-strict-fields -O2 -Wall -fno-warn-orphans
--    -funbox-strict-fields -O2 -Wall -fno-warn-orphans
    -rtsopts
  Default-Language: Haskell2010
  Other-Extensions:
    DeriveDataTypeable, StandaloneDeriving, TypeSynonymInstances, RecordWildCards
  Hs-Source-Dirs:      src
  Main-is:             Main.hs

  Other-modules:
    Main.Args
    Main.ExceptionHandler
    Main.ExecCommand
    CSPM.Assert
    CSPM.LTS.LTS
    CSPM.LTS.MkLtsPar
    CSPM.LTS.MkLtsDFS
    CSPM.LTS.ToCsp
    CSPM.LTS.ToDot
    CSPM.LTS.Deadlock
    CSPM.Lua
    Language.CSPM.AstToXML
    Scripting.LuaUtils
    Paths_CSPM_cspm

Library
  Build-Depends:
    CSPM-Frontend >= 0.10 && < 0.11
    ,CSPM-CoreLanguage >= 0.3 && < 0.4
    ,CSPM-FiringRules >= 0.4 && < 0.5
    ,CSPM-Interpreter >= 0.7 && < 0.8
    ,CSPM-ToProlog >= 0.5 && < 0.6
    ,cmdargs >= 0.10.0 && < 0.11
    ,xml >= 1.3 && < 1.4
    ,containers >= 0.5 && < 0.6
    ,parallel >= 3.2 && < 3.3
    ,base >= 4.0 && < 5.0
    ,pretty >= 1.1 && < 1.2
    ,transformers >= 0.3
    ,syb >= 0.4 && <0.5
    ,prettyclass >= 1.0 && < 1.1
    ,hslua >=0.3.12 && <0.4

  GHC-Options:
    -funbox-strict-fields -O2 -Wall -fno-warn-orphans
  Default-Language: Haskell2010
  Other-Extensions:
    DeriveDataTypeable, StandaloneDeriving, TypeSynonymInstances, RecordWildCards
  Hs-Source-Dirs:      src

  Exposed-Modules:
    Main.Args
    Main.ExceptionHandler
    Main.ExecCommand
    CSPM.Assert
    CSPM.LTS.LTS
    CSPM.LTS.MkLtsPar
    CSPM.LTS.MkLtsDFS
    CSPM.LTS.ToCsp
    CSPM.LTS.ToDot
    CSPM.LTS.Deadlock
    CSPM.Lua
    Language.CSPM.AstToXML

  Other-modules:
    Paths_CSPM_cspm
    Scripting.LuaUtils