lddl update with the disambiguated "grundlagen"

[helm.git] / helm / software / helena / src / common / options.ml

diff --git a/helm/software/helena/src/common/options.ml b/helm/software/helena/src/common/options.ml
index b77757ddb6bbfb49e56ad17118aa44dac33238ae..227a524e2036ca126238288d7e061b7f4bd1c649 100644 (file)
--- a/helm/software/helena/src/common/options.ml
+++ b/helm/software/helena/src/common/options.ml
@@ -9,15 +9,18 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
-module F = Filename
+module KF = Filename
+
 module C = Cps
 
 type uri_generator = string -> string
 
-type kernel = Crg | Brg | Bag
+type kernel = V4 | V3 | V0
 
 (* interface functions ******************************************************)
 
+let version_string = "Helena 0.8.2 M - December 2014"
+
 let stage = ref 3            (* stage *)
 
 let trace = ref 0            (* trace level *)
@@ -26,7 +29,7 @@ let summary = ref false      (* log summary information *)
 
 let xdir = ref ""            (* directory for XML output *)
 
-let kernel = ref Brg         (* kernel type *)
+let kernel = ref V3          (* kernel type *)
 
 let si = ref false           (* use sort inclusion *)
 
@@ -46,11 +49,17 @@ let debug_parser = ref false (* output parser debug information *)
 
 let debug_lexer = ref false  (* output lexer debug information *)
 
+let ma_dir = ref ""          (* directory for grafite output *)
+
+let ma_preamble = ref ""     (* location of grafite preamble file *)
+
+let alpha = ref ""           (* prefix of numeric identifiers *)
+
 let kernel_id () = 
    let id = match !kernel with
-      | Crg -> "crg"
-      | Brg -> "brg"
-      | Bag -> "bag"
+      | V4 -> "Environment"
+      | V3 -> "Environment_V3"
+      | V0 -> "Environment_V0"
    in
    let si = if !si then "_si" else "" in
    id ^ si
@@ -60,10 +69,11 @@ let get_baseuri () =
 
 let get_mk_uri () =
    let bu = get_baseuri () in
-   fun s -> F.concat bu (s ^ ".ld")
+   fun s -> KF.concat bu (s ^ ".ld")
 
 let clear () =
    stage := 3; trace := 0; summary := false; 
-   xdir := ""; kernel := Brg; si := false; cover := ""; 
+   xdir := ""; kernel := V3; si := false; cover := ""; 
    expand := false; indexes := false; icm := 0; unquote := false;
-   debug_parser := false; debug_lexer := false
+   debug_parser := false; debug_lexer := false;
+   ma_dir := ""; ma_preamble := ""