(env
 (_ ; Applies to all profiles (dev, release, ...).
  (rocq
   ; Configure coqc flags.
   (flags (:standard %{read-lines:flags.dune})))))

(rule
 (action
  (with-stdout-to flags.dune
   (pipe-stdout
    (cat config/flags)
    (bash "grep '^[^#]\\+'")))))
