mcc-0.5.4rta03/arch/x86/as/x86_as_state.ml

   1 (*
   2  * Debug vars for the assembler.
   3  *
   4  * ----------------------------------------------------------------
   5  *
   6  * @begin[license]
   7  * Copyright (C) 2001 Jason Hickey, Caltech
   8  * Copyright (C) 2002 Justin David Smith, Caltech
   9  *
  10  * This program is free software; you can redistribute it and/or
  11  * modify it under the terms of the GNU General Public License
  12  * as published by the Free Software Foundation; either version 2
  13  * of the License, or (at your option) any later version.
  14  *
  15  * This program is distributed in the hope that it will be useful,
  16  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  17  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  18  * GNU General Public License for more details.
  19  *
  20  * You should have received a copy of the GNU General Public License
  21  * along with this program; if not, write to the Free Software
  22  * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  23  *
  24  * Author: Jason Hickey
  25  * @email{jyh@cs.caltech.edu}
  26  * @end[license]
  27  *)
  28 open Flags
  29
  30
  31 (*
  32  * Register standard options for debugging.
  33  *)
  34 let flag_as = "x86.as"
  35 let flag_debug       = flag_as ^ ".debug"
  36 let flag_make_stub   = flag_as ^ ".make_stub"
  37 let flag_debug_stub  = flag_as ^ ".debug_stub"
  38
  39 let () = std_flags_help_section_text flag_as
  40    "Flags which are used to control the built-in X86 assembler."
  41
  42 let () = std_flags_register_list_help flag_as
  43   [flag_debug,       FlagBool false,
  44                      "Debug the assembler.";
  45    flag_make_stub,   FlagBool false,
  46                      "Generate stub code for linking to external C library functions.";
  47    flag_debug_stub,  FlagBool false,
  48                      "Warn about generated stub functions used for linking."]
  49
  50
  51 (*
  52  * General debugging.
  53  *)
  54 let debug_as ()   = std_flags_get_bool flag_debug
  55
  56
  57 (*
  58  * Stub generation.
  59  *)
  60 let make_stub ()  = std_flags_get_bool flag_make_stub
  61 let debug_stub () = std_flags_get_bool flag_debug_stub
  62
  63
  64 (*!
  65  * @docoff
  66  *
  67  * -*-
  68  * Local Variables:
  69  * Caml-master: "compile"
  70  * End:
  71  * -*-
  72  *)