matita/components/getter/dune

   1 (library
   2  (name helm_getter)
   3  (libraries http unix pcre zip helm_xml helm_logger helm_ng_kernel helm_registry)
   4  (preprocess (action (system "camlp5o %{input-file}")))
   5  (wrapped false)
   6  (modules (:standard \ test)))
   7 (env
   8   (_
   9     (flags (:standard -rectypes -w @A-52-4-34-37-45-9-44-48-6-32-20-58-7-57-3-68-69-70-50))))