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 (* Miscellaneous parameters *)
18
19 open Debugger_config
20
21 let program_name = ref ""
22 let socket_name = ref ""
23 let arguments = ref ""
24
25 let default_load_path =
26 ref [ Filename.current_dir_name; Config.standard_library ]
27
28 let breakpoint = ref true
29 let prompt = ref true
30 let time = ref true
31 let version = ref true
32
33 let topdirs_path = ref (Filename.concat Config.standard_library "compiler-libs")
34
35 let add_path dir =
36 Load_path.add_dir dir;
37 Envaux.reset_cache()
38
39 let add_path_for mdl dir =
40 let old = try Hashtbl.find load_path_for mdl with Not_found -> [] in
41 Hashtbl.replace load_path_for mdl (dir :: old)
42
43 (* Used by emacs ? *)
44 let emacs = ref false
45
46 let machine_readable = ref false
47