dune

(include dune.inc)

(rule
 (alias runtest)
 (deps
  (glob_files *.cnf)
  (glob_files *.smt2))
 (action
  (with-stdout-to
   dune.inc
   (run %{exe:../../../generate_tests/generate_dune_tests.exe} . sat)))
 (mode promote))