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
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
|
name: gf
version: 3.6-darcs
cabal-version: >= 1.10
build-type: Custom
license: OtherLicense
license-file: LICENSE
category: Natural Language Processing, Compiler
synopsis: Grammatical Framework
description: GF, Grammatical Framework, is a programming language for multilingual grammar applications
homepage: http://www.grammaticalframework.org/
bug-reports: http://code.google.com/p/grammatical-framework/issues/list
maintainer: Thomas Hallgren
tested-with: GHC==7.4.2, GHC==7.6.3
data-dir: src
data-files: www/*.html
www/P/*.png
www/gfse/*.html
www/gfse/*.css
www/gfse/*.js
www/gfse/P/*.png
www/gfse/P/*.jpg
www/js/*.js
www/minibar/*.html
www/minibar/*.css
www/minibar/*.js
www/minibar/*.png
www/syntax-editor/*.html
www/syntax-editor/*.css
www/syntax-editor/*.js
www/TransQuiz/*.html
www/TransQuiz/*.css
www/TransQuiz/*.js
www/TransQuiz/*.png
www/translator/*.html
www/translator/*.css
www/translator/*.js
source-repository head
type: darcs
location: http://www.grammaticalframework.org/
flag interrupt
Description: Enable Ctrl+Break in the shell
Default: True
flag server
Description: Include --server mode
Default: True
--flag new-comp
-- Description: Make -new-comp the default
-- Default: True
flag custom-binary
Description: Use a customised version of the binary package
Default: True
flag c-runtime
Description: Include functionality from the C run-time library (which must be installed already)
Default: False
Library
default-language: Haskell2010
build-depends: base >= 4.3 && <5,
array,
fst,
containers,
bytestring,
utf8-string,
random,
pretty,
mtl
hs-source-dirs: src/runtime/haskell
if flag(custom-binary)
hs-source-dirs: src/binary
other-modules:
-- not really part of GF but I have changed the original binary library
-- and we have to keep the copy for now.
Data.Binary
Data.Binary.Put
Data.Binary.Get
Data.Binary.Builder
Data.Binary.IEEE754
else
build-depends: binary, data-binary-ieee754
ghc-options: -fwarn-unused-imports
if impl(ghc>=7.8)
ghc-options: +RTS -A20M -RTS
ghc-prof-options: -fprof-auto
extensions:
exposed-modules:
PGF
PGF.Internal
PGF.Lexing
PGF.Utilities
other-modules:
PGF.Data
PGF.Macros
PGF.Binary
PGF.Optimize
PGF.Printer
PGF.CId
PGF.Expr
PGF.Generate
PGF.Linearize
PGF.Morphology
PGF.Paraphrase
PGF.Parse
PGF.Probabilistic
PGF.SortTop
PGF.Tree
PGF.Type
PGF.Tokenizer
PGF.TypeCheck
PGF.Forest
PGF.TrieMap
PGF.VisualizeTree
PGF.ByteCode
PGF.OldBinary
if flag(c-runtime)
exposed-modules: PGF2
other-modules: PGF2.FFI
hs-source-dirs: src/runtime/haskell-bind
build-tools: hsc2hs
extra-libraries: gu pgf
cc-options: -std=c99
Executable gf
default-language: Haskell2010
build-depends: gf,
base >= 4.3 && <5,
array,
containers,
bytestring,
filepath,
fst,
directory,
random,
time,
time-compat,
old-locale,
process,
pretty,
mtl,
haskeline,
parallel>=3,
utf8-string
ghc-options: -threaded -fwarn-unused-imports
if flag(server)
build-depends: httpd-shed, network, json, cgi
-- ,silently
cpp-options: -DSERVER_MODE
other-modules: GFServer
hs-source-dirs: src/server src/server/transfer src/example-based
if flag(c-runtime)
cpp-options: -DC_RUNTIME
if impl(ghc>=7.0)
ghc-options: -rtsopts
if impl(ghc<7.8)
ghc-options: -with-rtsopts=-K64M
if impl(ghc>=7.8)
build-tools: happy>=1.19, alex>=3.1
ghc-options: +RTS -A20M -RTS
else
build-tools: happy, alex>=3
if os(windows)
build-depends: Win32
else
build-depends: unix
ghc-prof-options: -auto-all
hs-source-dirs: src/compiler
if !flag(custom-binary)
build-depends: binary, data-binary-ieee754
extensions:
main-is: GF.hs
other-modules:
GF.Data.BacktrackM
GF.Data.Utilities
-- GF.Data.SortedList
GF.Data.ErrM
GF.Data.Operations
GF.Data.Str
GF.JavaScript.AbsJS
GF.JavaScript.PrintJS
GF.Infra.Ident
GF.Infra.GetOpt
GF.Infra.Option
GF.Infra.UseIO
GF.Infra.CheckM
GF.System.Catch
GF.System.Console
GF.System.Signal
GF.Command.Commands
GF.Command.Interpreter
GF.Command.Abstract
GF.Command.Parse
GF.Command.Importing
GF.Grammar
GF.Grammar.Lexer
GF.Grammar.Parser
GF.Grammar.Grammar
GF.Grammar.Values
GF.Grammar.Macros
GF.Grammar.Lockfield
GF.Grammar.MMacros
GF.Grammar.Lookup
GF.Grammar.Unify
GF.Grammar.PatternMatch
GF.Grammar.Printer
GF.Grammar.ShowTerm
GF.Grammar.Binary
GF.Compile.Update
GF.Compile.CheckGrammar
-- GF.Compile.Refresh
GF.Compile.Rename
GF.Compile.ReadFiles
GF.Compile.GrammarToPGF
GF.Compile.ToAPI
GF.Compile.TypeCheck.Abstract
GF.Compile.TypeCheck.Concrete
GF.Compile.TypeCheck.ConcreteNew
GF.Compile.TypeCheck.TC
GF.Compile.Compute.Abstract
-- GF.Compile.Compute.Concrete
GF.Compile.Compute.ConcreteNew1
GF.Compile.Compute.ConcreteNew
GF.Compile.Compute.AppPredefined
GF.Compile.Compute.Value
GF.Compile.Compute.Predef
GF.Compile.Optimize
GF.Compile.SubExOpt
GF.Compile.GetGrammar
GF.Compile.PGFtoHaskell
GF.Compile.PGFtoProlog
GF.Compile.PGFtoJS
GF.Compile
GF.Quiz
GFC
GFI
if flag(interrupt)
cpp-options: -DUSE_INTERRUPT
other-modules: GF.System.UseSignal
else
other-modules: GF.System.NoSignal
executable pgf-shell
if !flag(c-runtime)
buildable: False
main-is: pgf-shell.hs
hs-source-dirs: src/runtime/haskell-bind/examples
build-depends: gf, base, containers, mtl, lifted-base
default-language: Haskell2010
if impl(ghc>=7.0)
ghc-options: -rtsopts
test-suite rgl-tests
type: exitcode-stdio-1.0
main-is: run.hs
hs-source-dirs: lib/tests/
build-depends: base, HTF, process, HUnit, filepath, directory
default-language: Haskell2010
test-suite gf-tests
type: exitcode-stdio-1.0
main-is: run.hs
hs-source-dirs: testsuite
build-depends: base>=4.3 && <5, Cabal>=1.8, directory, filepath, process
default-language: Haskell2010
|
