blob: c2f9cd662ef9a59827cd80b186b48ab629f45c8b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
(library
(name toplevel)
(public_name coq.toplevel)
(synopsis "Coq's Interactive Shell [terminal-based]")
(wrapped false)
(flags :standard -open Gramlib)
(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})))
|
