2005-10-26 06:23:27 -07:00
|
|
|
(***********************************************************************)
|
|
|
|
(* *)
|
|
|
|
(* Objective Caml *)
|
|
|
|
(* *)
|
|
|
|
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
|
|
|
|
(* *)
|
|
|
|
(* Copyright 2005 Institut National de Recherche en Informatique et *)
|
|
|
|
(* en Automatique. All rights reserved. This file is distributed *)
|
|
|
|
(* under the terms of the Q Public License version 1.0. *)
|
|
|
|
(* *)
|
|
|
|
(***********************************************************************)
|
|
|
|
|
|
|
|
(* $Id$ *)
|
|
|
|
|
|
|
|
val objfiles : string list ref
|
|
|
|
val ccobjs : string list ref
|
|
|
|
val dllibs : string list ref
|
|
|
|
val compile_only : bool ref
|
|
|
|
val output_name : string option ref
|
|
|
|
val include_dirs : string list ref
|
|
|
|
val no_std_include : bool ref
|
|
|
|
val print_types : bool ref
|
|
|
|
val make_archive : bool ref
|
|
|
|
val debug : bool ref
|
|
|
|
val fast : bool ref
|
|
|
|
val link_everything : bool ref
|
|
|
|
val custom_runtime : bool ref
|
|
|
|
val output_c_object : bool ref
|
|
|
|
val ccopts : string list ref
|
|
|
|
val classic : bool ref
|
|
|
|
val nopervasives : bool ref
|
|
|
|
val preprocessor : string option ref
|
2007-05-16 01:21:41 -07:00
|
|
|
val annotations : bool ref
|
2005-10-26 06:23:27 -07:00
|
|
|
val use_threads : bool ref
|
|
|
|
val use_vmthreads : bool ref
|
|
|
|
val noassert : bool ref
|
|
|
|
val verbose : bool ref
|
|
|
|
val noprompt : bool ref
|
|
|
|
val init_file : string option ref
|
|
|
|
val use_prims : string ref
|
|
|
|
val use_runtime : string ref
|
|
|
|
val principal : bool ref
|
|
|
|
val recursive_types : bool ref
|
2009-07-15 07:06:37 -07:00
|
|
|
val applicative_functors : bool ref
|
2005-10-26 06:23:27 -07:00
|
|
|
val make_runtime : bool ref
|
|
|
|
val gprofile : bool ref
|
2008-12-03 10:09:09 -08:00
|
|
|
val c_compiler : string option ref
|
2005-10-26 06:23:27 -07:00
|
|
|
val no_auto_link : bool ref
|
|
|
|
val dllpaths : string list ref
|
|
|
|
val make_package : bool ref
|
|
|
|
val for_package : string option ref
|
|
|
|
val dump_parsetree : bool ref
|
|
|
|
val dump_rawlambda : bool ref
|
|
|
|
val dump_lambda : bool ref
|
|
|
|
val dump_instr : bool ref
|
|
|
|
val keep_asm_file : bool ref
|
|
|
|
val optimize_for_speed : bool ref
|
|
|
|
val dump_cmm : bool ref
|
|
|
|
val dump_selection : bool ref
|
|
|
|
val dump_live : bool ref
|
|
|
|
val dump_spill : bool ref
|
|
|
|
val dump_split : bool ref
|
|
|
|
val dump_interf : bool ref
|
|
|
|
val dump_prefer : bool ref
|
|
|
|
val dump_regalloc : bool ref
|
|
|
|
val dump_reload : bool ref
|
|
|
|
val dump_scheduling : bool ref
|
|
|
|
val dump_linear : bool ref
|
|
|
|
val keep_startup_file : bool ref
|
|
|
|
val dump_combine : bool ref
|
|
|
|
val native_code : bool ref
|
|
|
|
val inline_threshold : int ref
|
|
|
|
val dont_write_files : bool ref
|
|
|
|
val std_include_flag : string -> string
|
|
|
|
val std_include_dir : unit -> string list
|
2007-11-06 07:16:56 -08:00
|
|
|
val shared : bool ref
|
|
|
|
val dlcode : bool ref
|