(executable
 (name Atdts_main)
 (public_name atdts)
 (package atdts)
 (libraries
   cmdliner
   atdts
   atd
 )
)
