(executable
 (name atdcpp_main)
 (public_name atdcpp)
 (package atdcpp)
 (libraries
   cmdliner
   atdcpp
   atd
 )
)
