Add a 'trace' mode (must be enabled at build time) that saves the
[tatoo.git] / build
diff --git a/build b/build
index 2b29bba..f381c94 100755 (executable)
--- a/build
+++ b/build
@@ -20,6 +20,7 @@ let target = ref [ ]
 let debug = ref false
 let profile = ref false
 let verbose = ref false
+let trace = ref false
 
 let dir = Sys.getcwd ()
 let project_root = Filename.dirname Sys.argv.(0)
@@ -30,11 +31,12 @@ let () =
     | "-d" -> debug := true
     | "-p" -> profile := true
     | "-v" -> verbose := true
+    | "-t" -> trace := true
     | x -> target := x :: !target
   done
-
+let otrace = if !trace then " -tag htmltrace " else ""
 let oprofile = if !profile then " -tag profile " else ""
-let odebug = if !profile then " -tag debug " else ""
+let odebug = if !debug then " -tag debug " else ""
 let clean_first = ref false
 let () =
   Sys.chdir project_root;
@@ -52,8 +54,8 @@ let otarget = List.fold_left (fun acc t ->
 let overbose = if !verbose then " -classic-display " else ""
 let clean_cmd = if !clean_first then "ocamlbuild -clean;" else ""
 let build_cmd = if otarget = "" then "" else
-    Printf.sprintf "ocamlbuild -use-ocamlfind %s %s %s %s"
-      overbose  oprofile  odebug otarget
+    Printf.sprintf "ocamlbuild -use-ocamlfind %s %s %s %s %s"
+      overbose otrace oprofile  odebug otarget
 let i = Sys.command  (clean_cmd ^ build_cmd)
 let () = Sys.chdir dir;
   Printf.printf "Leaving directory `%s'\n%!" project_root