1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
(library
(name micromega_plugin)
(public_name coq-core.plugins.micromega)
; be careful not to link the executable to the plugin!
(modules (:standard \ csdpcert g_zify zify))
(synopsis "Coq's micromega plugin")
(libraries coq-core.plugins.ltac))
(executable
(name csdpcert)
(public_name csdpcert)
(package coq-core)
(modules csdpcert)
(flags :standard -open Micromega_plugin)
(libraries coq-core.plugins.micromega))
(library
(name zify_plugin)
(public_name coq-core.plugins.zify)
(modules g_zify zify)
(synopsis "Coq's zify plugin")
(libraries coq-core.plugins.ltac))
(coq.pp (modules g_micromega g_zify))
|
