TeLLer/TeLLer.cabal at master · jff/TeLLer · GitHub

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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
Name:                teller
Version:             0.1.9
Description:         An interactive linear logic forward chaining theorem explorer
License:             GPL
License-file:        LICENSE
Author:              Andy Kitchen and Joao F. Ferreira
Maintainer:          [email protected]
Build-Type:          Simple
Cabal-Version:       >= 1.2

Flag readline
  Description: Use Readline
  Default: True

Executable TeLLer
  Main-is:           Main.hs
  hs-source-dirs:    src/ tests/
  other-modules:
    Paths_teller
  Other-Modules:     Arbitrary,
                     Bag,
                     Parser,
                     Printer,
                     Rewrite,
                     RewriteRules,
                     Setup,
                     Syntax,
                     Test,
                     Util,
                     Parser

  Build-Depends:
    base >= 3 && < 5,
    containers >= 0.4 && < 2,
    random >= 1 && < 2,
    parsec >= 3 && < 4,
    QuickCheck >= 2 && < 3,
    directory,
    mtl,
    graphviz,
    fgl,
    text

  if flag(readline)
    Build-Depends:
     readline

    CPP-Options: -D__USE_READLINE__

Executable CelfToGraph
  Main-is:           CelfToGraph.hs
  hs-source-dirs:    src/ tests/
  other-modules:
    Paths_teller
  Other-Modules:     Setup,
                     Util

  Build-Depends:
    base >= 3 && < 5,
    containers >= 0.4 && < 2,
    random >= 1 && < 2,
    parsec >= 3 && < 4,
    QuickCheck >= 2 && < 3,
    directory,
    mtl,
    graphviz,
    fgl,
    text,
    cmdargs,
    process

  if flag(readline)
    Build-Depends:
     readline

    CPP-Options: -D__USE_READLINE__