helm/www/lambdadelta/bin/xhtbl/options.ml

   1 let output_dir_default = ""
   2
   3 let baseuri_default = ""
   4
   5 let debug_lexer_default = false
   6
   7 let debug_pass_default = false
   8
   9 let pass_default = false
  10
  11 let output_dir = ref output_dir_default
  12
  13 let baseuri = ref baseuri_default
  14
  15 let debug_lexer = ref debug_lexer_default
  16
  17 let d0 = ref debug_pass_default
  18
  19 let d1 = ref debug_pass_default
  20
  21 let d2 = ref debug_pass_default
  22
  23 let e1 = ref debug_pass_default
  24
  25 let e2 = ref debug_pass_default
  26
  27 let p0 = ref pass_default
  28
  29 let p1 = ref pass_default
  30
  31 let p2 = ref pass_default
  32
  33 let clear () =
  34    output_dir := output_dir_default;
  35    baseuri := baseuri_default;
  36    debug_lexer := debug_lexer_default;
  37    d0 := debug_pass_default; d1 := debug_pass_default; d2 := debug_pass_default;
  38    e1 := debug_pass_default; e2 := debug_pass_default;
  39    p0 := pass_default; p1 := pass_default; p2 := pass_default