summaryrefslogtreecommitdiff
path: root/GF.cabal
blob: 99b331748f702ecb0ee1b7a8bcfd7fd11bc6990c (plain)
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
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
name: gf
version: 3.0-alpha
cabal-version: >= 1.2
build-type: Simple
license: GPL
license-file: LICENSE
synopsis: Grammatical Framework


flag readline
  Description: Enable Readline in the shell
  Default:     True

flag interrupt
  Description: Enable Ctrl+Break in the shell
  Default:     True

library
  build-depends: base,
                 array,
                 containers,
                 bytestring,
                 random
  ghc-options: -O2
  hs-source-dirs: src-3.0
  extensions: 
  exposed-modules: 
    GF.GFCC.API
  other-modules:
    GF.GFCC.Raw.AbsGFCCRaw
    GF.GFCC.DataGFCC
    GF.GFCC.CId
    GF.GFCC.Raw.ParGFCCRaw
    GF.GFCC.Macros
    GF.GFCC.Generate
    GF.GFCC.Linearize
    GF.Command.LexGFShell
    GF.Command.AbsGFShell
    GF.Command.PrintGFShell
    GF.Data.RedBlackSet
    GF.Data.GeneralDeduction
    GF.Infra.CompactPrint
    GF.Text.UTF8
    GF.Data.Utilities
    GF.Data.SortedList
    GF.Data.Assoc
    GF.Infra.PrintClass
    GF.Formalism.Utilities
    GF.Parsing.FCFG.Range
    GF.Formalism.FCFG
    GF.Parsing.FCFG.PInfo
    GF.Parsing.FCFG.Active
    GF.GFCC.Raw.ConvertGFCC
    GF.Data.ErrM
    GF.Command.ParGFShell
    GF.Command.PPrTree
    GF.Parsing.FCFG


executable gf3
  build-depends: base,
                 array,
                 containers,
                 bytestring,
                 filepath,
                 directory,
                 random,
                 old-time,
                 process
  if os(windows)
    build-depends: Win32
  else
    build-depends: unix
  ghc-options: -O2
  hs-source-dirs: src-3.0
  extensions:
  main-is: GF.hs
  other-modules:
    GF.Source.ErrM
    GF.Grammar.ReservedWords
    GF.Data.BacktrackM
    GF.Source.SharedString
    GF.Source.LexGF
    GF.Source.AbsGF
    GF.Source.PrintGF
    GF.JavaScript.AbsJS
    GF.JavaScript.PrintJS
    GF.GFCC.Raw.AbsGFCCRaw
    GF.Command.LexGFShell
    GF.Command.AbsGFShell
    GF.Command.PrintGFShell
    GF.Data.RedBlackSet
    GF.Data.GeneralDeduction
    GF.Infra.CompactPrint
    GF.Text.UTF8
    GF.Data.Utilities
    GF.Data.SortedList
    GF.Data.Assoc
    GF.Infra.PrintClass
    GF.GFCC.CId
    GF.GFCC.Raw.ParGFCCRaw
    GF.GFCC.Raw.PrintGFCCRaw
    GF.Formalism.Utilities
    GF.Parsing.FCFG.Range
    GF.Formalism.FCFG
    GF.Parsing.FCFG.PInfo
    GF.GFCC.DataGFCC
    GF.Parsing.FCFG.Active
    GF.GFCC.Raw.ConvertGFCC
    GF.GFCC.Macros
    GF.GFCC.Generate
    GF.GFCC.Linearize
    GF.Conversion.SimpleToFCFG
    GF.Data.ErrM
    GF.Parsing.FCFG
    GF.Command.ParGFShell
    GF.Command.PPrTree
    GF.GFCC.API
    GF.GFCC.CheckGFCC
    GF.Source.ParGF
    GF.Data.Operations
    GF.GFCC.GFCCtoHaskell
    GF.GFCC.ShowLinearize
    GF.GFCC.OptimizeGFCC
    GF.Infra.Ident
    GF.Grammar.Predef
    GF.Data.Str
    GF.Data.Zipper
    GF.Infra.Option
    GF.Infra.UseIO
    GF.GFCC.GFCCtoJS
    GF.GFCC.PrintGFCC
    GF.Command.Commands
    GF.Command.Interpreter
    GF.Infra.Modules
    GF.Grammar.Grammar
    GF.Source.GrammarToSource
    GF.Grammar.Values
    GF.Grammar.PrGrammar
    GF.Grammar.Macros
    GF.Grammar.Lockfield
    GF.Grammar.Refresh
    GF.Grammar.MMacros
    GF.Grammar.Abstract
    GF.Grammar.Lookup
    GF.Compile.RemoveLiT
    GF.Grammar.LookAbs
    GF.Compile.TC
    GF.Grammar.Unify
    GF.Compile.TypeCheck
    GF.Compile.Update
    GF.Compile.OptimizeGF
    GF.Infra.CheckM
    GF.Grammar.AppPredefined 
    GF.Grammar.PatternMatch
    GF.Compile.CheckGrammar
    GF.Compile.BackOpt
    GF.Compile.Extend
    GF.Compile.Rename
    GF.Compile.ReadFiles
    GF.Compile.GrammarToGFCC
    GF.Compile.Compute
    GF.Compile.Optimize
    GF.Compile.ModDeps
    GF.Compile.Rebuild
    GF.Source.SourceToGrammar
    GF.Compile.GetGrammar
    GF.Compile
    GF.Command.Importing
    GF.System.Readline
    GFC
    GFI
  
  if flag(readline)
    build-depends: readline
    ghc-options: -DUSE_READLINE
    other-modules: GF.System.UseReadline
  else
    other-modules: GF.System.NoReadline
  
  if flag(interrupt)
    ghc-options: -DUSE_INTERRUPT
    other-modules: GF.System.UseSignal
  else
    other-modules: GF.System.NoSignal