Functor Machdep.DEFINE


module DEFINE: 
functor (M : sig
val gcc : Cil_types.mach
val msvc : Cil_types.mach
val gccHas__builtin_va_list : bool
val __thread_is_keyword : bool
end) -> sig .. end
Apply this funtor to set all the above references at once. Set the machine of the current project only after the call of Cil.initCIL: this functor application has no effect if Cil.initCIL is not called after the application.
Parameters:
M : sig val gcc : Cil_types.mach val msvc : Cil_types.mach val gccHas__builtin_va_list : bool val __thread_is_keyword : bool end