Up – Package index » goblint » Library goblint.lib » Goblint_lib » MakefileUtil

Module `Goblint_lib.MakefileUtil`

val buff_size : int

val comb_suffix : string

val exec_command : 
  ?path:Fpath.t ->
  string ->
  Goblint_lib.Prelude.Unix.process_status * string

val find_file_by_suffix : Fpath.t -> string -> Fpath.t

val remove_comb_files : Fpath.t -> unit

val run_cilly : Fpath.t -> all_cppflags:string list -> unit

val generate_and_combine : Fpath.t -> all_cppflags:string list -> Fpath.t