anil.recoil.org
My working unpac repository
1(**************************************************************************)
2(* *)
3(* OCaml *)
4(* *)
5(* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *)
6(* OCaml port by John Malecki and Xavier Leroy *)
7(* *)
8(* Copyright 1996 Institut National de Recherche en Informatique et *)
9(* en Automatique. *)
10(* *)
11(* All rights reserved. This file is distributed under the terms of *)
12(* the GNU Lesser General Public License version 2.1, with the *)
13(* special exception on linking described in the file LICENSE. *)
14(* *)
15(**************************************************************************)
16
17(**************************** Configuration file ***********************)
18
19open Int64ops
20
21exception Toplevel
22
23(*** Miscellaneous parameters. ***)
24
25(*ISO 6429 color sequences
2600 to restore default color
2701 for brighter colors
2804 for underlined text
2905 for flashing text
3030 for black foreground
3131 for red foreground
3232 for green foreground
3333 for yellow (or brown) foreground
3434 for blue foreground
3535 for purple foreground
3636 for cyan foreground
3737 for white (or gray) foreground
3840 for black background
3941 for red background
4042 for green background
4143 for yellow (or brown) background
4244 for blue background
4345 for purple background
4446 for cyan background
4547 for white (or gray) background
46let debugger_prompt = "\027[1;04m(ocd)\027[0m "
47and event_mark_before = "\027[1;31m$\027[0m"
48and event_mark_after = "\027[1;34m$\027[0m"
49*)
50let debugger_prompt = "(ocd) "
51let event_mark_before = "<|b|>"
52let event_mark_after = "<|a|>"
53
54(* Name of shell used to launch the debuggee *)
55let shell =
56 match Sys.os_type with
57 "Win32" -> "cmd"
58 | _ -> "/bin/sh"
59
60(* Name of the OCaml runtime. *)
61let runtime_program = "ocamlrun"
62
63(* Time history size (for `last') *)
64let history_size = ref 30
65
66let load_path_for = Hashtbl.create 7
67
68(*** Time travel parameters. ***)
69
70(* Step between checkpoints for long displacements.*)
71let checkpoint_big_step = ref (~~ "10000")
72
73(* Idem for small ones. *)
74let checkpoint_small_step = ref (~~ "1000")
75
76(* Maximum number of checkpoints. *)
77let checkpoint_max_count = ref 15
78
79(* Whether to keep checkpoints or not. *)
80let make_checkpoints = ref
81 (match Sys.os_type with
82 "Win32" -> false
83 | _ -> true)
84
85(* Whether to break when new code is loaded. *)
86let break_on_load = ref true
87
88(*** Environment variables for debuggee. ***)
89
90let environment = ref []