matita/components/binaries/xoa/dune

   1 (executable
   2   (name xoa)
   3   (public_name xoa)
   4   (promote (until-clean))
   5   (libraries helm_registry)
   6   (modules_without_implementation)
   7   (modules ast lib ast engine xoa)
   8 )
   9
  10 (env
  11   (_
  12     (flags (:standard -thread -rectypes -w @A-52-4-34-37-45-9-44-48-6-32-20-58-7-57-3-68-69-70-50-29)))) ; -29 for non portable strings