(library
 (name unicoq)
 (public_name coq-unicoq.plugin)
 ; Coq default set of warnings
 (flags :standard -w -9-27)
 (libraries coq.plugins.ltac))

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