From ddd48898c9d77270a46fa16b66bb8b291e0859d0 Mon Sep 17 00:00:00 2001
From: kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Date: Sat, 3 Dec 2011 21:52:22 +0000
Subject: [PATCH] Purge libxml++ from build.

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1182 3cdefd35-fc62-479d-8e8d-bae585ffb9ca
---
 build          |  2 +-
 src/options.ml | 15 +++++++++++++--
 utils/conf.ml  |  1 +
 3 files changed, 15 insertions(+), 3 deletions(-)

diff --git a/build b/build
index dc0ddf3..1354637 100755
--- a/build
+++ b/build
@@ -56,7 +56,7 @@ let tests_targets = []
 let () = Cmdline.parse ()
 let cmd_list =
   let ocamlbuild =
-    Printf.sprintf "ocamlbuild -no-hygiene %s %s -j %i "
+    Printf.sprintf "ocamlbuild  %s %s -j %i "
       !Cmdline.verbose (String.concat " " !Cmdline.tags) !Cmdline.jobs
   in
   List.map begin function
diff --git a/src/options.ml b/src/options.ml
index 07f8ffb..10c7633 100644
--- a/src/options.ml
+++ b/src/options.ml
@@ -14,6 +14,10 @@ let no_jump = ref false
 let verbose = ref false
 let text_index_type = ref 0
 
+(* Only valid if compiled with -DTRACE *)
+let trace_file = ref "trace.dot"
+
+
 let set_index_type = function
   | "default" -> text_index_type := 0
   | "swcsa" -> text_index_type := 1
@@ -55,8 +59,15 @@ let spec = Arg.align
 			       set_index_type),
     " choose text index type";
 
-    "-v", Arg.Set(verbose), " verbose mode";
-  ]
+    "-v", Arg.Set(verbose), " verbose mode"; ] @
+IFDEF TRACE
+THEN [
+    "-trace-file", Arg.Set_string(trace_file),
+    "<trace_file> save the full trace in dot format in <trace_file>"
+     ]
+ELSE []
+END
+
 
 let parse_cmdline() =
   let _ = Arg.parse spec anon_fun usage_msg
diff --git a/utils/conf.ml b/utils/conf.ml
index b044c02..49ab1a2 100644
--- a/utils/conf.ml
+++ b/utils/conf.ml
@@ -13,6 +13,7 @@ module Conf =
       ignore (Sys.command "cp myocamlbuild_config.ml.in myocamlbuild_config.ml");
       o_chan := open_out_gen [ Open_append ] 0  "myocamlbuild_config.ml";
       o_fmt := formatter_of_out_channel !o_chan
+	
     ;;
 
     let finish () =
-- 
2.17.1