-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathMETA
63 lines (60 loc) · 1.86 KB
/
META
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
version = "0.1"
description = "Generic transformers for algebraic types"
requires = "typeutil"
archive(byte) = "GT.cma"
archive(native) = "GT.cmxa"
package "syntax" (
version = "0.1"
description = "Syntax extension for generic transformers"
requires = "camlp5"
archive(syntax, preprocessor) = "pa_gt.cmo"
archive(syntax, toploop) = "pa_gt.cmo"
package "compare" (
description = "Plugin 'compare'"
requires = "GT.syntax"
archive(syntax,preprocessor) = "compare.cmo"
archive(syntax,toploop) = "compare.cmo"
)
package "show" (
description = "Plugin 'show'"
requires = "GT.syntax"
archive(syntax,preprocessor) = "show.cmo"
archive(syntax,toploop) = "show.cmo"
)
package "html" (
description = "Plugin 'html'"
requires = "GT.syntax"
archive(syntax,preprocessor) = "html.cmo"
archive(syntax,toploop) = "html.cmo"
)
package "eq" (
description = "Plugin 'eq'"
requires = "GT.syntax"
archive(syntax,preprocessor) = "eq.cmo"
archive(syntax,toploop) = "eq.cmo"
)
package "foldl" (
description = "Plugin 'foldl'"
requires = "GT.syntax"
archive(syntax,preprocessor) = "foldl.cmo"
archive(syntax,toploop) = "foldl.cmo"
)
package "foldr" (
description = "Plugin 'foldr'"
requires = "GT.syntax"
archive(syntax,preprocessor) = "foldr.cmo"
archive(syntax,toploop) = "foldr.cmo"
)
package "map" (
description = "Plugin 'map'"
requires = "GT.syntax"
archive(syntax,preprocessor) = "gmap.cmo"
archive(syntax,toploop) = "gmap.cmo"
)
package "all" (
description = "All supported syntaxes"
requires = "GT.syntax"
archive(syntax,preprocessor) = "compare.cmo eq.cmo foldl.cmo foldr.cmo html.cmo gmap.cmo show.cmo pr_dump.cmo pr_o.cmo"
archive(syntax,toploop) = "compare.cmo eq.cmo foldl.cmo foldr.cmo html.cmo gmap.cmo show.cmo pr_dump.cmo pr_o.cmo"
)
)