|
#
common
| : CommonArg.t | ; | |||
|
#
profile
| : Driver.profile option | ; | |||
|
#
source_map
| : (string * Source_map.t) option | ; | |||
|
#
runtime_files
| : string list | ; | |||
|
#
output_file
| : string option | ; | |||
|
#
input_file
| : string option | ; | |||
|
#
params
| : (string * string) list | ; | |||
|
#
linkall
| : bool | ; | |||
|
#
toplevel
| : bool | ; | |||
|
#
nocmis
| : bool | ; | |||
|
#
include_dir
| : string list | ; | |||
|
#
fs_files
| : string list | ; | |||
|
#
fs_output
| : string option | ; | |||
|
#
fs_external
| : bool | ; |