spectec/test-middlend/dune

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