blob: fd6c8cf32c42a2fad5dc0cb6ad1476d179c7d0bb (
plain)
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
|
(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)))
|
