From: Kim Nguyễn <kn@lri.fr>
Date: Tue, 12 Feb 2013 16:31:02 +0000 (+0100)
Subject: Make the build script compatible with emacs compile mode.
X-Git-Tag: v0.1~179
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=6ff08e4dc3f627216479e20c257ab47c1a138ca6

Make the build script compatible with emacs compile mode.
---

diff --git a/build b/build
index f73479d..e1c442e 100755
--- a/build
+++ b/build
@@ -7,7 +7,9 @@ let verbose = ref false
 
 let dir = Sys.getcwd ()
 let project_root = Filename.dirname Sys.argv.(0)
-let () = Sys.chdir project_root
+(*  if Filename.is_relative build_path
+  then Filename.concat dir build_path
+  else build_path *)
 
 let () =
   for i = 1 to Array.length Sys.argv - 1 do
@@ -22,9 +24,14 @@ let oprofile = if !profile then " -tag profile " else ""
 let odebug = if !profile then " -tag debug " else ""
 let otarget = if !target = "clean" then " -clean " else !target
 let overbose = if !verbose then " -classic-display " else ""
+let () =
+  Sys.chdir project_root;
+  Printf.printf "Entering directory `%s'\n%!" project_root
 
-let cmd = "ocamlbuild -use-ocamlfind " ^ overbose ^ oprofile ^ odebug ^ otarget
+let cmd = Printf.sprintf "ocamlbuild -use-ocamlfind %s %s %s %s"
+  overbose  oprofile  odebug otarget
 let i = Sys.command cmd
-let () = Sys.chdir dir
+let () = Sys.chdir dir;
+  Printf.printf "Leaving directory `%s'\n%!" project_root
 let _ = exit i