let main () = let force_pdg = Pdg_parameters.BuildAll.get () || not (Datatype.String.Set.is_empty (Pdg_parameters.BuildFct.get ())) in if force_pdg then Pdg_parameters.BuildAll.output output