- let set_trace i =
- if !G.trace = 0 && i > 0 then Y.gmtime G.version_string;
- if !G.trace > 0 && i = 0 then Y.utime_stamp "at exit";
- G.trace := i;
- if i <= 1 then G.summary := false;
- if i <= 1 then preprocess := false
- in
- let set_summary () =
- if !G.trace >= 2 then G.summary := true
- in
- let set_preprocess () =
- if !G.trace >= 2 then begin preprocess := true; G.summary := true end
- in
- let set_manager s = match KS.lowercase s with
- | "v8" -> G.manager := G.Coq
- | "ma2" -> G.manager := G.Matita
- | "lp1" -> G.manager := G.LP1
- | "lp2" -> G.manager := G.LP2
- | "tj2" -> G.manager := G.TJ2
- | "tj3" -> G.manager := G.TJ3
- | s -> L.warn level (KP.sprintf "Unknown manager: %s" s)
- in