1 files changed, 82 insertions, 0 deletions
diff --git a/ocaml-binary-annot/debugger/debugger_config.ml b/ocaml-binary-annot/debugger/debugger_config.ml
new file mode 100644
index 0000000000..54d6b2d583
--- /dev/null
+++ b/ocaml-binary-annot/debugger/debugger_config.ml
@@ -0,0 +1,82 @@
+(***********************************************************************)
+(*                                                                     *)
+(*                           Objective Caml                            *)
+(*                                                                     *)
+(*          Jerome Vouillon, projet Cristal, INRIA Rocquencourt        *)
+(*          Objective Caml port by John Malecki and Xavier Leroy       *)
+(*                                                                     *)
+(*  Copyright 1996 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$ *)
+
+(**************************** Configuration file ***********************)
+
+open Int64ops
+
+exception Toplevel
+
+(*** Miscellaneous parameters. ***)
+
+(*ISO 6429 color sequences
+00      to restore default color
+01      for brighter colors
+04      for underlined text
+05      for flashing text
+30      for black foreground
+31      for red foreground
+32      for green foreground
+33      for yellow (or brown) foreground
+34      for blue foreground
+35      for purple foreground
+36      for cyan foreground
+37      for white (or gray) foreground
+40      for black background
+41      for red background
+42      for green background
+43      for yellow (or brown) background
+44      for blue background
+45      for purple background
+46      for cyan background
+47      for white (or gray) background
+let debugger_prompt   = "\027[1;04m(ocd)\027[0m "
+and event_mark_before = "\027[1;31m$\027[0m"
+and event_mark_after  = "\027[1;34m$\027[0m"
+*)
+let debugger_prompt   = "(ocd) "
+let event_mark_before = "<|b|>"
+let event_mark_after  = "<|a|>"
+
+(* Name of shell used to launch the debuggee *)
+let shell =
+  match Sys.os_type with
+    "Win32" -> "cmd"
+  | _ -> "/bin/sh"
+
+(* Name of the Objective Caml runtime. *)
+let runtime_program = "ocamlrun"
+
+(* Time history size (for `last') *)
+let history_size = ref 30
+
+let load_path_for = Hashtbl.create 7
+
+(*** Time travel parameters. ***)
+
+(* Step between checkpoints for long displacements.*)
+let checkpoint_big_step = ref (~~ "10000")
+
+(* Idem for small ones. *)
+let checkpoint_small_step = ref (~~ "1000")
+
+(* Maximum number of checkpoints. *)
+let checkpoint_max_count = ref 15
+
+(* Whether to keep checkpoints or not. *)
+let make_checkpoints = ref
+  (match Sys.os_type with
+    "Win32" -> false
+  | _ -> true)