Advertisement
Guest User

Untitled

a guest
Jul 18th, 2018
57
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.12 KB | None | 0 0
  1. description = "A visitor generation facility"
  2. requires = "compiler-libs ppx_tools ppx_deriving"
  3.  
  4. # I don't really understand any of the following.
  5. # See https://github.com/whitequark/ppx_deriving
  6.  
  7. package "ppx" (
  8. description = "Compile-time support for generating visitors"
  9. requires(-ppx_driver) = "ppx_deriving"
  10. ppxopt(-ppx_driver) = "ppx_deriving,./ppx_deriving_visitors.cma"
  11.  
  12. # It seems OK to let this package exist unconditionally.
  13. # exists_if = "ppx_deriving_visitors.cma"
  14.  
  15. # Apparently the following part could be omitted too.
  16. # It affects ppx driver compilation, whatever that means.
  17. requires(ppx_driver) = "ppx_deriving.api"
  18. archive(ppx_driver, byte) = "ppx_deriving_visitors.cma"
  19. archive(ppx_driver, native) = "ppx_deriving_visitors.cmxa"
  20.  
  21. # This is what jbuilder uses to find out the runtime dependencies of
  22. # a preprocessor
  23. ppx_runtime_deps = "visitors.runtime"
  24. )
  25.  
  26. # The runtime support library.
  27.  
  28. package "runtime" (
  29. description = "Runtime support for the generated visitors"
  30. archive(byte) = "VisitorsRuntime.cma"
  31. archive(native) = "VisitorsRuntime.cmxa"
  32. )
  33. version = "20180513"
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement