blob: b312a55706ef9fd73304a83740c97295dfcd9329 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
(library
(name top_printers)
(public_name coq.top_printers)
(synopsis "Coq's Debug Printers")
(wrapped false)
(modules top_printers)
(optional)
(libraries coq.toplevel coq.plugins.ltac))
(rule
(targets dune-dbg)
(deps dune-dbg.in
../checker/coqchk.bc
../topbin/coqc_bin.bc
../ide/coqide_main.bc
%{lib:coq.plugins.ltac:ltac_plugin.cma}
; This is not enough, the call to `ocamlfind` may fail if the
; META file is not yet in place :/
top_printers.cma)
(action (copy dune-dbg.in dune-dbg)))
|
