ocamlbuild improvements + minor makefile fix

 * a small shell script ./build to drive ocamlbuild
 * rules for all the binaries (apart from coqide and coqchk)
 * use of ocamlbuild's Echo instead of using shell + sed + awk
   for generated files
 * Makefile: remove unused STAGE1_CMO and add bin/coqdep_boot to the
   list of things to "clean"

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12012 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 7 insertions, 0 deletions

diff --git a/_tags b/_tags
index 7e8db8dd61..76a7da8a07 100644
--- a/_tags
+++ b/_tags
@@ -2,6 +2,12 @@
 ## tags for binaries
 
 <scripts/coqmktop.{native,byte}> : use_str, use_unix, use_gramlib
+<scripts/coqc.{native,byte}> : use_unix, use_gramlib
+<tools/coqdep_boot.{native,byte}> : use_unix
+<tools/coqdep.{native,byte}> : use_unix, use_gramlib
+<tools/coq_tex.{native,byte}> : use_str
+<tools/coq_makefile.{native,byte}> : use_str
+<tools/coqdoc/main.{native,byte}> : use_str
 
 ## tags for camlp4 files 
 
@@ -55,5 +61,6 @@
 "tactics": include
 "theories": include
 "tools": include
+"tools/coqdoc": include
 "toplevel": include