From 3e6b06512ddd85717555d6e3545f712746abfe82 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= Date: Thu, 1 Mar 2012 14:30:24 +0100 Subject: [PATCH] Put grammar stuff. --- src/main.ml | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/main.ml b/src/main.ml index fa16737..42c8822 100644 --- a/src/main.ml +++ b/src/main.ml @@ -126,10 +126,16 @@ let _ = Gc.compact(); Gc.set (tuned_gc); let runtime = - let module R = ResJIT.Count in + if !Options.count_only then + let module R = ResJIT.Make(NodeSet.Partial(NodeSet.Count)) in let module M = Runtime.Make(R) in (* mk_runtime run auto doc arg count print outfile *) mk_runtime M.grammar_run auto (Obj.magic g) () R.NS.length (Obj.magic R.NS.serialize) None + else + let module R = ResJIT.Mat in + let module M = Runtime.Make(R) in + (* mk_runtime run auto doc arg count print outfile *) + mk_runtime M.grammar_run auto (Obj.magic g) () R.NS.length (Obj.magic R.NS.serialize) None in runtime (); exit 0 -- 2.17.1