Module Frama_c_kernel.Machdep

Managing machine-dependent information.

val gen_all_defines : Stdlib.Format.formatter -> Cil_types.mach -> unit

Prints on the given formatter all #define directives required by share/libc/features.h and other system-dependent headers.

val generate_machdep_header : Cil_types.mach -> Filepath.Normalized.t

generates a __fc_machdep.h file in a temp directory and returns the directory name, to be added to the search path for preprocessing stdlib