(library
 (name equations_plugin)
 (public_name equations.plugin)
 (flags :standard -rectypes -w -9-27+40+60 -warn-error -3-9-32-33-50)
 (libraries coq.plugins.cc coq.plugins.extraction))

(rule
 (targets g_equations.ml)
 (deps (:pp-file g_equations.mlg))
 (action (run coqpp %{pp-file})))
