1996-11-29 08:55:09 -08:00
|
|
|
(***********************************************************************)
|
|
|
|
|
(* *)
|
2011-07-27 07:17:02 -07:00
|
|
|
(* OCaml *)
|
1996-11-29 08:55:09 -08:00
|
|
|
(* *)
|
|
|
|
|
(* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *)
|
2011-07-27 07:17:02 -07:00
|
|
|
(* OCaml port by John Malecki and Xavier Leroy *)
|
1996-11-29 08:55:09 -08:00
|
|
|
(* *)
|
|
|
|
|
(* Copyright 1996 Institut National de Recherche en Informatique et *)
|
1999-11-17 10:59:06 -08:00
|
|
|
(* en Automatique. All rights reserved. This file is distributed *)
|
|
|
|
|
(* under the terms of the Q Public License version 1.0. *)
|
1996-11-29 08:55:09 -08:00
|
|
|
(* *)
|
|
|
|
|
(***********************************************************************)
|
|
|
|
|
|
|
|
|
|
(********************** Configuration file *****************************)
|
|
|
|
|
|
|
|
|
|
exception Toplevel
|
|
|
|
|
|
|
|
|
|
(*** Miscellaneous parameters. ***)
|
|
|
|
|
|
|
|
|
|
val debugger_prompt : string
|
|
|
|
|
val event_mark_before : string
|
|
|
|
|
val event_mark_after : string
|
|
|
|
|
val shell : string
|
|
|
|
|
val runtime_program : string
|
|
|
|
|
val history_size : int ref
|
2009-05-20 04:52:42 -07:00
|
|
|
val load_path_for : (string, string list) Hashtbl.t
|
1996-11-29 08:55:09 -08:00
|
|
|
|
|
|
|
|
(*** Time travel paramaters. ***)
|
|
|
|
|
|
2002-10-29 09:53:24 -08:00
|
|
|
val checkpoint_big_step : int64 ref
|
|
|
|
|
val checkpoint_small_step : int64 ref
|
1996-11-29 08:55:09 -08:00
|
|
|
val checkpoint_max_count : int ref
|
|
|
|
|
val make_checkpoints : bool ref
|
2012-03-08 11:52:03 -08:00
|
|
|
|
|
|
|
|
(*** Environment variables for debugee. ***)
|
|
|
|
|
|
2013-12-19 06:23:49 -08:00
|
|
|
val environment : (string * string) list ref
|
