(coq.theory
 (name HoTT.Tests)
 (theories HoTT)
 (flags -noinit -indices-matter -color on)
 (coqdoc_flags :standard --interpolate --utf8 --no-externals --parse-comments))

(include_subdirs qualified)

(alias
 (name runtest)
 (deps
  (glob_files_rec ./*.vo)))
