(rule
 (alias runtest)
 (deps dune.jq)
 (action
  (run %{bin:jq} -L. "include \"dune\"; .")))

(rule
 (alias runtest)
 (deps setup-script.sh)
 (action
  (run %{bin:bash} -n %{deps})))

(rule
 (alias runtest)
 (enabled_if %{bin-available:shellcheck})
 (deps setup-script.sh)
 (action
  (run %{bin:shellcheck} -s bash %{deps})))

;; This rule is here to make sure that all of our tests have descriptions

(rule
 (alias runtest)
 (enabled_if %{bin-available:rg})
 (deps
  %{bin:rg}
  ;; CR-someday rgrinberg: we need a recursive glob for source_tree
  (source_tree test-cases))
 (action
  (system
   "rg -L --files-without-match '^\\S' --glob \"*.t\" --glob \"!*coq*\" --glob \"!*rocq*\"; [ $? -eq 1 ]")))
