(library
  (name trace_ppx)
  (public_name elpi.trace.ppx)
  (libraries ppxlib)
  (preprocess (pps ppxlib.metaquot))
  (kind ppx_rewriter)
  (ppx_runtime_libraries elpi.trace.runtime)
  (modules trace_ppx)
  (optional)
)
