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 val program_name : string ref
20 val socket_name : string ref
21 val arguments : string ref
22 val default_load_path : string list ref
23 val breakpoint : bool ref
24 val prompt : bool ref
25 val time : bool ref
26 val version : bool ref
27 val topdirs_path : string ref
28
29 val add_path : string -> unit
30 val add_path_for : string -> string -> unit
31
32 (* Used by emacs ? *)
33 val emacs : bool ref
34
35 val machine_readable : bool ref
36