spectec/test-frontend/dune

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