spectec/test-prose/dune

(mdx
  (libraries spectec)
  (deps
    (file ../src/exe-spectec/main.exe)
    (glob_files_rec ../_specification/*)
  )
  (files TEST.md)
)