l4/pkg/ocaml/contrib/utils/clflags.mli

   1 (***********************************************************************)
   2 (*                                                                     *)
   3 (*                           Objective Caml                            *)
   4 (*                                                                     *)
   5 (*            Xavier Leroy, projet Cristal, INRIA Rocquencourt         *)
   6 (*                                                                     *)
   7 (*  Copyright 2005 Institut National de Recherche en Informatique et   *)
   8 (*  en Automatique.  All rights reserved.  This file is distributed    *)
   9 (*  under the terms of the Q Public License version 1.0.               *)
  10 (*                                                                     *)
  11 (***********************************************************************)
  12
  13 (* $Id: clflags.mli 9084 2008-10-15 08:48:51Z xleroy $ *)
  14
  15 val objfiles : string list ref
  16 val ccobjs : string list ref
  17 val dllibs : string list ref
  18 val compile_only : bool ref
  19 val output_name : string option ref
  20 val include_dirs : string list ref
  21 val no_std_include : bool ref
  22 val print_types : bool ref
  23 val make_archive : bool ref
  24 val debug : bool ref
  25 val fast : bool ref
  26 val link_everything : bool ref
  27 val custom_runtime : bool ref
  28 val output_c_object : bool ref
  29 val ccopts : string list ref
  30 val classic : bool ref
  31 val nopervasives : bool ref
  32 val preprocessor : string option ref
  33 val annotations : bool ref
  34 val use_threads : bool ref
  35 val use_vmthreads : bool ref
  36 val noassert : bool ref
  37 val verbose : bool ref
  38 val noprompt : bool ref
  39 val init_file : string option ref
  40 val use_prims : string ref
  41 val use_runtime : string ref
  42 val principal : bool ref
  43 val recursive_types : bool ref
  44 val make_runtime : bool ref
  45 val gprofile : bool ref
  46 val c_compiler : string option ref
  47 val no_auto_link : bool ref
  48 val dllpaths : string list ref
  49 val make_package : bool ref
  50 val for_package : string option ref
  51 val dump_parsetree : bool ref
  52 val dump_rawlambda : bool ref
  53 val dump_lambda : bool ref
  54 val dump_instr : bool ref
  55 val keep_asm_file : bool ref
  56 val optimize_for_speed : bool ref
  57 val dump_cmm : bool ref
  58 val dump_selection : bool ref
  59 val dump_live : bool ref
  60 val dump_spill : bool ref
  61 val dump_split : bool ref
  62 val dump_interf : bool ref
  63 val dump_prefer : bool ref
  64 val dump_regalloc : bool ref
  65 val dump_reload : bool ref
  66 val dump_scheduling : bool ref
  67 val dump_linear : bool ref
  68 val keep_startup_file : bool ref
  69 val dump_combine : bool ref
  70 val native_code : bool ref
  71 val inline_threshold : int ref
  72 val dont_write_files : bool ref
  73 val std_include_flag : string -> string
  74 val std_include_dir : unit -> string list
  75 val shared : bool ref
  76 val dlcode : bool ref