First draft of integrating the mli generator into the executable; cur…

…renlty, we output the mli on stdout - we can do better ...

Makefile

@@ -5,7 +5,7 @@ export ANNOTATE
 LLVM ?= /Users/avsm/llvm
 
 define PROJ_abnf
-  SOURCES=abnf_syntaxtree.ml abnf_rules.ml abnf_ops.ml abnf_location.ml abnf_parser.mli abnf_lexer.ml abnf_parser.ml abnf_recursive_descent.ml abnf_cmd.ml
+  SOURCES=abnf_syntaxtree.ml abnf_rules.ml abnf_ops.ml abnf_location.ml abnf_parser.mli abnf_lexer.ml abnf_parser.ml abnf_recursive_descent.ml abnf_signature.ml abnf_cmd.ml
   RESULT=abnf_cmd
   LIBS=str
   TRASH=abnf_lexer.ml abnf_parser.ml abnf_lexer.mli abnf_parser.mli

abnf_cmd.ml

@@ -12,6 +12,7 @@ type mode =
     |Edges
     |Terminals
     |RDParse
+    |Sig
 
 let _ =
     let files = ref [] in
@@ -20,6 +21,7 @@ let _ =
     let file_to_parse = ref "" in
     let starting_nonterminal = ref "" in 
     let parse = [
+        "-sig", Arg.Unit (fun () -> mode := Sig), "Output the mli file";
         "-dot", Arg.Unit (fun () -> mode := Dot), "Output in DOT format";
         "-tsort", Arg.Unit (fun () -> mode := Tsort), "Output topological sort of parse nodes";
         "-edges", Arg.Unit (fun () -> mode := Edges), "Output edges of parse graph for tsort(1)";
@@ -52,6 +54,7 @@ let _ =
         let all_rules = Abnf_rules.generate_rules rules in
         Abnf_rules.check all_rules;
         begin match !mode with
+        |Sig -> Abnf_signature.dump all_rules;
         |Dot ->
             Abnf_ops.Graph.dump_nodes all_rules;
         |Tsort ->