matita/components/binaries/probe/dune

   1 (ocamllex macLexer)
   2
   3 (executable
   4   (name probe)
   5   (public_name probe)
   6   (promote (until-clean))
   7   (libraries helm_ng_library)
   8   (modules_without_implementation)
   9   (modules macLexer engine error matitaRemove nCicScan matitaList options probe)
  10 )
  11
  12 (env
  13   (_
  14     (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
  15