p3-tool.cabal

Name: p3-tool
Version: 1.4
Cabal-Version:  >= 1.8
Author: Ahmad Salim Al-Sibahi
Synopsis: Parser and Transformation tool for fPromela
Build-Type: Simple
License: GPL-3
License-File: LICENSE

Flag Debug
  Description: Enable debug support
  Default:     False

Library
 Build-Depends: base, parsec, pretty, containers, mtl>=2.2, set-monad, monad-loops, uniplate, language-c, sbv
 Hs-Source-Dirs: p3-tool
 Exposed-Modules:
    FPromela.Ast, FPromela.Lexer, FPromela.Parser, FPromela.Pretty,
    TVL.Ast, TVL.Lexer, TVL.Parser, TVL.Pretty, TVL.Util,
    Abstraction.Ast, Abstraction.Parser,
    Transformation.Configurations, Transformation.Formulae, Transformation.Abstraction, Transformation.Transformation

Executable p3-fpromela
  Build-Depends: p3-tool, base, containers, set-monad, mtl>=2.2, parsec, cmdlib, filepath, cpphs, directory>=1.2.2
  Hs-Source-Dirs: p3-fpromela
  Main-Is: Main.hs
  if flag(debug)
    CC-Options: "-DDEBUG"
    CPP-Options: -DDEBUG

Executable p3-spin
  Build-Depends: p3-tool, base, containers, set-monad, mtl>=2.2, parsec, process, cmdlib, filepath, temporary, cpphs, directory>=1.2.2
  Hs-Source-Dirs: p3-spin
  Main-Is: Main.hs
  if flag(debug)
    CC-Options: "-DDEBUG"
    CPP-Options: -DDEBUG
  if os(windows)
    Buildable: False