module DEFINE:Apply this funtor to set all the above references at once. Set the machine of the current project only after the call offunctor (
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
Cil.initCIL
: this functor application has no effect if Cil.initCIL
is not called after the application.Parameters: |
|