add Clflags.bs_gentype

Author: bobzhang

typing/cmt_format.ml

@@ -236,8 +236,8 @@ let save_cmt filename modname binary_annots sourcefile initial_env sg =
  output_cmt oc cmt;
  close_out oc;
  (* TODO: does not make sense to do post-proccesing for [Partial_implementaiton]*)
- match Sys.getenv "BS_CMT_POST_PROCESS_CMD" with
- | exception _ -> ()
- | cmd -> ignore (Sys.command (cmd ^ " -cmt-add " ^ filename ^ (match sourcefile with None -> "" | Some sourcefile -> ":" ^ sourcefile)))
+ match !Clflags.bs_gentype with
+ | None -> ()
+ | Some cmd -> ignore (Sys.command (cmd ^ " -cmt-add " ^ filename ^ (match sourcefile with None -> "" | Some sourcefile -> ":" ^ sourcefile)))
  end;
  clear ()

utils/clflags.ml

@@ -127,6 +127,7 @@ let bs_vscode =
  *)
 let dont_record_crc_unit : string option ref = ref None
 let bs_only = ref false
+let bs_gentype = ref None
 let no_assert_false = ref false
 #end
 

utils/clflags.mli

@@ -107,6 +107,7 @@ val record_event_when_debug : bool ref
 val bs_vscode : bool
 val dont_record_crc_unit : string option ref
 val bs_only : bool ref (* set true on bs top*)
+val bs_gentype : string option ref
 val no_assert_false : bool ref
 #end