camlp5.gramlib does not pull in camlp-streams by default

[helm.git] / matita / components / extlib / dune

(library
 (name helm_extlib)
 (libraries str unix camlp-streams camlp5.gramlib) ; camlp-streams should be pulled in by camlp5...
 (modules (:standard \ componentsConf))
 (wrapped false))
(env
  (_
    (flags (:standard -w @A-52-4-34-37-45-9-44-48-6-32-20-58-7-57-3-68-69-70-50))))