-
Notifications
You must be signed in to change notification settings - Fork 2
/
p3-tool.cabal
39 lines (35 loc) · 1.24 KB
/
p3-tool.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
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