(library
 (name top_printers)
 (public_name coq.top_printers)
 (synopsis "Coq's Debug Printers")
 (wrapped false)
 (modules :standard \ checker_printers)
 (libraries coq.toplevel coq.plugins.ltac))

(library
 (name checker_printers)
 (public_name coq.checker_printers)
 (synopsis "Coq's Debug Printers [for the Checker]")
 (wrapped false)
 (flags :standard -open Checklib)
 (modules checker_printers)
 (libraries coq.checklib))

(rule
  (targets dune-dbg)
  (deps dune-dbg.in
        ../checker/main.bc
        ../topbin/coqtop_byte_bin.bc
        ; This is not enough as the call to `ocamlfind` will fail :/
        top_printers.cma)
  (action (copy dune-dbg.in dune-dbg)))