debugger/debugger_config.ml

   1 (***********************************************************************)
   2 (*                                                                     *)
   3 (*                           Objective Caml                            *)
   4 (*                                                                     *)
   5 (*          Jerome Vouillon, projet Cristal, INRIA Rocquencourt        *)
   6 (*          Objective Caml port by John Malecki and Xavier Leroy       *)
   7 (*                                                                     *)
   8 (*  Copyright 1996 Institut National de Recherche en Informatique et   *)
   9 (*  en Automatique.  All rights reserved.  This file is distributed    *)
  10 (*  under the terms of the Q Public License version 1.0.               *)
  11 (*                                                                     *)
  12 (***********************************************************************)
  13
  14 (* $Id$ *)
  15
  16 (**************************** Configuration file ***********************)
  17
  18 open Int64ops
  19
  20 exception Toplevel
  21
  22 (*** Miscellaneous parameters. ***)
  23
  24 (*ISO 6429 color sequences
  25 00      to restore default color
  26 01      for brighter colors
  27 04      for underlined text
  28 05      for flashing text
  29 30      for black foreground
  30 31      for red foreground
  31 32      for green foreground
  32 33      for yellow (or brown) foreground
  33 34      for blue foreground
  34 35      for purple foreground
  35 36      for cyan foreground
  36 37      for white (or gray) foreground
  37 40      for black background
  38 41      for red background
  39 42      for green background
  40 43      for yellow (or brown) background
  41 44      for blue background
  42 45      for purple background
  43 46      for cyan background
  44 47      for white (or gray) background
  45 let debugger_prompt   = "\027[1;04m(ocd)\027[0m "
  46 and event_mark_before = "\027[1;31m$\027[0m"
  47 and event_mark_after  = "\027[1;34m$\027[0m"
  48 *)
  49 let debugger_prompt   = "(ocd) "
  50 let event_mark_before = "<|b|>"
  51 let event_mark_after  = "<|a|>"
  52
  53 (* Name of shell used to launch the debuggee *)
  54 let shell = "/bin/sh"
  55
  56 (* Name of the Objective Caml runtime. *)
  57 let runtime_program = "ocamlrun"
  58
  59 (* Time history size (for `last') *)
  60 let history_size = ref 30
  61
  62 (*** Time travel parameters. ***)
  63
  64 (* Step between checkpoints for long displacements.*)
  65 let checkpoint_big_step = ref (~~ "10000")
  66
  67 (* Idem for small ones. *)
  68 let checkpoint_small_step = ref (~~ "1000")
  69
  70 (* Maximum number of checkpoints. *)
  71 let checkpoint_max_count = ref 15
  72
  73 (* Whether to keep checkpoints or not. *)
  74 let make_checkpoints = ref true
  75