blob: f51e50aaa3cd17df3a9fdecc5060f45a28ba9053 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
(library
(name toplevel)
(public_name coq.toplevel)
(synopsis "Coq's Interactive Shell [terminal-based]")
(wrapped false)
(libraries num coq.stm))
; Coqlevel provides the `Num` library to plugins, we could also use
; -linkall in the plugins file, to be discussed.
(rule
(targets g_toplevel.ml)
(deps (:mlg-file g_toplevel.mlg))
(action (run coqpp %{mlg-file})))
|
