1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
version = "$(pkg_version)"
description = "Standard library for ppx rewriters"
requires = "compiler-libs.common"
archive(byte ) = "ppx_core.cma"
archive(native) = "ppx_core.cmxa"
plugin(byte ) = "ppx_core.cma"
plugin(native) = "ppx_core.cmxs"
exists_if = "ppx_core.cma"
# Until this is released: https://github.com/whitequark/ppx_deriving/pull/95
package "for_ppx_deriving" (
description = "Don't use this directly"
error(ppx_driver) = "Cannot use ppx_core.for_ppx_deriving when ppx_driver is set"
requires = "compiler-libs.common ppx_deriving"
exists_if = "ppx_core.cma"
ppxopt(-custom_ppx) = "ppx_deriving,./ppx_core.cma"
)
|
