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
|
version = "$(pkg_version)"
description = "Deriving"
requires = "$(pkg_name).runtime, $(pkg_name).syntax"
requires(syntax, preprocessor) = "$(pkg_name).syntax"
archive(syntax, preprocessor) = "-ignore dummy"
error(pkg_type_conv, pkg_deriving) = "Could not be loaded together with 'type_conv'. Please use $(pkg_name).tc instead."
package "runtime" (
archive(byte) = "deriving.cma"
archive(native) = "deriving.cmxa"
archive(byte, pkg_num) += "deriving_num.cma"
archive(native, pkg_num) += "deriving_num.cmxa"
)
package "syntax" (
requires(syntax, preprocessor) = "$(pkg_name).syntax.std, $(pkg_name).syntax.classes"
requires(syntax, toploop) = "$(pkg_name).syntax.std, $(pkg_name).syntax.classes"
archive(syntax, preprocessor) = "-ignore dummy"
error(pkg_type_conv, pkg_deriving.syntax, -pkg_deriving) = "Could not be loaded together with 'type_conv'. Please use $(pkg_name).syntax_tc instead."
package "common" (
requires(syntax, preprocessor) = "unix, camlp4"
requires(syntax, toploop) = "unix, camlp4"
archive(syntax, preprocessor) = "pa_deriving_common.cma"
archive(syntax, toploop) = "pa_deriving_common.cma"
)
package "std" (
description = "Deriving syntax extension"
version = "$(pkg_version)"
requires(syntax, preprocessor) = "$(pkg_name).syntax.common"
requires(syntax, toploop) = "$(pkg_name).syntax.common"
error(pkg_type_conv, -pkg_deriving.syntax, -pkg_deriving) = "Could not be loaded together with 'type_conv'. Please use $(pkg_name).syntax.tc instead."
exists_if = "pa_deriving_std.cma"
archive(syntax, preprocessor) = "pa_deriving_std.cma"
archive(syntax, toploop) = "pa_deriving_std.cma"
)
package "tc" (
description = "Deriving syntax extension (type_conv compatible syntax)"
version = "$(pkg_version)"
requires(syntax, preprocessor) = "$(pkg_name).syntax.common, type_conv"
requires(syntax, toploop) = "$(pkg_name).syntax.common, type_conv"
exists_if = "pa_deriving_tc.cma"
archive(syntax, preprocessor) = "pa_deriving_tc.cma"
archive(syntax, toploop) = "pa_deriving_tc.cma"
)
package "classes" (
description = "Deriving syntax extension (predefined classes)"
version = "$(pkg_version)"
requires(syntax, preprocessor) = "$(pkg_name).syntax.common"
requires(syntax, toploop) = "$(pkg_name).syntax.common"
exists_if = "pa_deriving_classes.cma"
archive(syntax, preprocessor) = "pa_deriving_classes.cma"
archive(syntax, toploop) = "pa_deriving_classes.cma"
)
)
package "tc" (
requires = "$(pkg_name).runtime, $(pkg_name).syntax_tc"
requires(syntax, preprocessor) = "$(pkg_name).syntax_tc"
archive(syntax, preprocessor) = "-ignore dummy"
)
package "syntax_tc" (
requires(syntax, preprocessor) = "$(pkg_name).syntax.tc, $(pkg_name).syntax.classes"
requires(syntax, toploop) = "$(pkg_name).syntax.tc, $(pkg_name).syntax.classes"
archive(syntax, preprocessor) = "-ignore dummy"
)
|
