Name:                CSPM-ToProlog
Version:             0.5.1.0
Synopsis:            some modules specific for the ProB tool
Description:
  This package contains a translation from a CSPM AST to the representation
  used by the ProB tool.
  This code is only interesting for ProB developers.

License:             BSD3
category:            Formal Methods
License-File:        LICENSE
Author:              2006-2013 Marc Fontaine
Maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de>
Cabal-Version:  >= 1.10
Tested-With:    GHC==7.6.3
Build-Type:     Simple

Library
  Default-Language: Haskell2010
  Build-Depends:
    CSPM-Frontend >= 0.9 && < 0.10
    ,pretty >= 1.1 && < 1.2
    ,base >= 4.0 && <5.0
    ,containers >= 0.5 && <0.6
    ,array >=0.4 && <0.5
    ,ghc-prim >= 0.3 && <0.4

  Hs-Source-Dirs: src
  ghc-options: -Wall

  Exposed-modules:
    Language.CSPM.AstToProlog
    Language.CSPM.CompileAstToProlog
    Language.CSPM.TranslateToProlog
  Other-modules:
    Paths_CSPM_ToProlog
    Language.Prolog.PrettyPrint.Direct