package goblint

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module MakefileUtilSource

Input program from a real-world project using a Makefile.

Sourceval buff_size : int
Sourceval comb_suffix : string
Sourceval exec_command : ?path:Fpath.t -> string -> Unix.process_status * string
Sourceval find_file_by_suffix : Fpath.t -> string -> Fpath.t
Sourceval remove_comb_files : Fpath.t -> unit
Sourceval run_cilly : Fpath.t -> all_cppflags:string list -> unit
Sourceval generate_and_combine : Fpath.t -> all_cppflags:string list -> Fpath.t
OCaml

Innovation. Community. Security.