(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))