blob: 9677bb0c514d7f86fac7280a3baa16007de81408 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
|
(**************************************************************************)
(* *)
(* OCaml *)
(* *)
(* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *)
(* OCaml 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 GNU Lesser General Public License version 2.1, with the *)
(* special exception on linking described in the file LICENSE. *)
(* *)
(**************************************************************************)
(**************************** 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 OCaml 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)
(* Whether to break when new code is loaded. *)
let break_on_load = ref true
(*** Environment variables for debuggee. ***)
let environment = ref []
|
