Module Frama_c_kernel.Machdep

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

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